summaryrefslogtreecommitdiff
path: root/css
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-09-09 10:45:21 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-09-09 10:45:21 +0200
commit6337a155b61e6c1cf3dc29923b2d9509d3edaec2 (patch)
treef1652975b22731b8ec16ed5adc65f77785770f91 /css
parent47cfa1b9c8abdd96e4aa9c02daf2e735c3a24024 (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.css32
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;