diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-09-09 10:45:21 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-09-09 10:45:21 +0200 |
commit | 6337a155b61e6c1cf3dc29923b2d9509d3edaec2 (patch) | |
tree | f1652975b22731b8ec16ed5adc65f77785770f91 /css | |
parent | 47cfa1b9c8abdd96e4aa9c02daf2e735c3a24024 (diff) |
Declare HTML5 doctype and fix related issues
Also ensure the topbar stays fixed regardless of the content scrollbar.
Diffstat (limited to 'css')
-rw-r--r-- | css/codeq.css | 32 |
1 files changed, 24 insertions, 8 deletions
diff --git a/css/codeq.css b/css/codeq.css index 964909e..919dc53 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -48,16 +48,20 @@ pre { line-height: 1em; } -/* rework header bar to allow user-specified font sizes */ -body { - padding-top: 3em; /* padding-top = topbar.min-height */ -} - div#topbar { border-bottom-style: 1px solid black; min-height: 3em; } +div#content { + overflow: auto; + position: absolute; + top: 3em; + bottom: 0; + left: 0; + right: 0; +} + div.container-fluid { padding: 0; } @@ -72,8 +76,9 @@ div.navbar-collapse { } button.navbar-toggle { - margin: 0.6em; /* line-height + 2*(margin + padding) = topbar.min-height */ - padding: 0.4em; + line-height: 1em; /* line-height + 2*(margin + padding) = topbar.min-height */ + margin: 0.5em; + padding: 0.5em; border-style: none; } @@ -102,7 +107,8 @@ button.navbar-toggle > span.glyphicon { color: #888; } -.row { +div.row { + height: 100%; margin: 0; } @@ -159,6 +165,12 @@ div#disabled { padding: 1em 0; } +#aai-iframe { + height: 100%; + width: 100%; + overflow: hidden; +} + /* screen language */ #screen-language { margin-top: 4em; @@ -246,6 +258,10 @@ div.vertical-line{ content: '● '; /* non-breaking spaces */ } +div#content div.container-fluid { + height: 100%; +} + /* description */ .block-left { padding-left: 1em; |