summaryrefslogtreecommitdiffabout
path: root/htdocs/style.css
Side-by-side diff
Diffstat (limited to 'htdocs/style.css') (more/less context) (show whitespace changes)
-rw-r--r--htdocs/style.css28
1 files changed, 28 insertions, 0 deletions
diff --git a/htdocs/style.css b/htdocs/style.css
index 3ab1b6f..83e308f 100644
--- a/htdocs/style.css
+++ b/htdocs/style.css
@@ -95,48 +95,52 @@ div#sidepanel ul a {
margin: 0.5ex;
border: 1px solid gray;
text-decoration: none;
background: white;
color: black;
}
div#sidepanel ul a:hover {
background: gray;
color: white;
}
div#sidepanel ul ul a {
padding-left: 2.5ex;
background: #e0e0e0;
}
div#sidepanel div.copyright {
text-align: center;
}
div#content h1 {
font-size: 140%;
color: gray;
font-weight: bold;
text-align: center;
margin: 1em;
+ clear: both;
+}
+div#content p a {
+ font-weight: bold;
}
div.insert {
text-align: center;
}
iframe#insert {
border: 1px solid black;
}
div.source h1 {
background: #e0e0e0;
border: 1px solid #808080;
padding-left: 1em;
margin: 0px;
font-size: 100%;
color: #000060;
overflow: hidden;
}
div.source ul {
background: #80c0c0;
margin: 0px;
padding: 1px 0px;
font-family: monospace;
font-size: 80%;
@@ -154,24 +158,48 @@ ul.sourcebrowser {
}
ul.sourcebrowser ul.dir {
padding: 1px 0px 2px 1em;
margin: 1px 0px 1px 0px;
}
ul.sourcebrowser li.dir {
margin: 1px 0px 1px 0px;
}
ul.sourcebrowser li.file {
list-style-type: none;
white-space: nowrap;
display: inline;
}
ul.sourcebrowser li.file a {
border: 1px solid gray;
padding: 1px 0.5ex;
text-decoration: none;
font-family: monospace;
}
ul.sourcebrowser li.file a:hover {
background: gray;
border: 1px solid black;
color: white;
}
+
+div.prevnext {
+ margin: 1ex;
+}
+div.prevnext a {
+ margin: 0.5ex 1em; padding: 0.2ex 0.5ex;
+ display: block; width: 30%;
+ border: solid 1px gray;
+ color: black;
+ text-decoration: none;
+}
+div.prevnext a.prevnext-prev {
+ float: left;
+ text-align: left;
+}
+div.prevnext a.prevnext-next {
+ float: right;
+ text-align: right;
+}
+div.prevnext a:hover {
+ background: gray;
+ border: black 1px solid;
+ color: white;
+}