amalgame/commit
delegate control of builder back to yui3 grids
author | Jacco van Ossenbruggen |
---|---|
Wed Aug 13 17:11:56 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Wed Aug 13 17:11:56 2014 +0200 | |
commit | 33779297afa7f11bde3b99155abf1019f8a83e65 |
tree | fe14022838ad8a9c6dd040a6330ffc499ac4dcf7 |
parent | d19e62c6fd12d3198868b9c50efcb577794dc023 |
Diff style: patch stat
diff --git a/applications/builder.pl b/applications/builder.pl index 1b4b2ef..835406c 100644 --- a/applications/builder.pl +++ b/applications/builder.pl @@ -123,10 +123,10 @@ html_page(Strategy, Focus) :- strategy(Strategy), focus(Focus)]), div([class('yui3-g'), id(layout)], - [ div([class('yui3-u'), id(controls)], + [ div([class('yui3-u yui3-u-1-5'), id(controls)], div(class(content), \html_controls)), - div([class('yui3-u'), id(main)], + div([class('yui3-u yui3-u-4-5'), id(main)], [ div(id(graph), div(class(content), div([id(strategy_graph)], []))), diff --git a/web/css/builder.css b/web/css/builder.css index 72ade43..0499faf 100644 --- a/web/css/builder.css +++ b/web/css/builder.css @@ -5,18 +5,14 @@ body { background-color: #FFF; overflow: auto; } -#main { width: 100%; } #layout { - padding: 6px 6px 6px 362px; + padding: 6px 6px 6px 6px; background-color: #C2C2C2; } -#controls { - margin-left: -356px; - margin-right: 6px; - width: 350px; -} + #controls .content { + margin: 0px; border: 1px solid #808080; overflow: scroll; background-color: #FFF; @@ -26,6 +22,7 @@ body { height: 500px; } #graph .content { + margin: 0px; border: 1px solid #808080; background-color: #FFF; overflow: auto;