Commit 8a90c2ca authored by MARCHE Claude's avatar MARCHE Claude

HTML style: better proportion at startup

parent b6f3308c
......@@ -145,6 +145,12 @@ body {
margin:0;
padding:0;
}
#why3-task-viewer-container {
flex-grow:7; /* suggested by Sylvain */
position:relative;
margin:0;
padding:0;
}
#why3-editor {
position:absolute;
top:0;
......@@ -158,15 +164,12 @@ body {
/*** TABS ***/
#why3-tab-panel {
top:0;
bottom:0;
left:0;
right:0;
padding:0;
margin:0;
}
.why3-tab-label {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment