amalgame/commit

delegate control of builder back to yui3 grids

authorJacco van Ossenbruggen
Wed Aug 13 17:11:56 2014 +0200
committerJacco van Ossenbruggen
Wed Aug 13 17:11:56 2014 +0200
commit33779297afa7f11bde3b99155abf1019f8a83e65
treefe14022838ad8a9c6dd040a6330ffc499ac4dcf7
parentd19e62c6fd12d3198868b9c50efcb577794dc023
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;