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
@@ -1,177 +1,205 @@
 body {
  font-family: sans-serif;
  font-size: 11pt;
 }
 
 a {
  text-decoration: none;
 }
 a:hover {
  text-decoration: underline;
 }
 p {
  margin: 1ex 1em;
  text-indent: 2em;
  text-align: justify;
 }
 p.note {
  margin-left: 10%;
  border-width: 1px 1px 1px 6px;
  border-color: gray gray gray #0000a0;
  border-style: solid solid solid double;
  padding: 1ex 1ex 1ex 2em;
  font-size: 80%;
  background: #c0c0e0;
  color: #202020;
 }
 code {
  color: #d04040;
 }
 em {
  white-space: nowrap;
 }
 
 div.google_ad {
  text-align: center;
  margin: 1ex;
 }
 div.google_ad.top {
  padding-bottom: 1ex;
  border-bottom: 1px gray solid;
 }
 div.google_ad.bottom {
  padding-top: 1ex;
  border-top: 1px gray solid;
 }
 
 div#sidepanel {
  position: absolute; top: 0px; left: 0px;
  margin: 0px;
  width: 20%;
  font-size: 80%;
 }
 div#content {
  position: absolute; top: 0px; right: -0px;
  margin: 0px;
  width: 80%;
 }
 
 div#sidepanel h1 {
  font-size: 80%;
  text-align: center;
  font-weight: normal;
  color: #004080;
  white-space: nowrap;
  margin-top: 2ex; margin-bottom: 2ex;
 }
 div#sidepanel h2 {
  font-size: 80%;
  text-align: justify;
  font-weight: normal;
  color: gray;
  margin: 1ex 1ex;
 }
 div#sidepanel ul {
  padding: 1ex 0.5ex 1ex 1ex;
  margin: 0.5ex;
  border-color: #c0c0c0 #404040 #404040 #c0c0c0;
  border-width: 1px 2px 2px 1px;
  border-style: solid;
  background: #d0d0d0;
  list-style-type: none;
 }
 div#sidepanel ul ul {
  margin: 0px; padding: 0px;
  border: none 0px;
 }
 div#sidepanel li {
  list-style-type: none;
  margin: 0px; padding: 0px;
  display: block;
 }
 div#sidepanel ul a {
  display: block;
  padding: 1px 1ex;
  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%;
  overflow: hidden;
  width:100%;
 }
 div.source li {
  list-style-type: none;
  white-space: nowrap;
  margin: 0px 0.5ex;
 }
 
 ul.sourcebrowser {
  font-size: 70%;
 }
 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;
+}