1 files changed, 7 insertions, 1 deletions

diff --git a/htdocs/style.css b/htdocs/style.css
index 96e4c59..28aa8df 100644
--- a/htdocs/style.css
+++ b/htdocs/style.css
@@ -121,136 +121,142 @@ div#content h1 {
 }
 div#content h2 {
  font-size: 140%;
  color: #8080a0;
  font-weight: bold;
  text-align: center;
  margin: 1em;
  clear: both;
 }
 div#content p a {
  font-weight: bold;
 }
 div#content p a.internal {
  font-weight: inherit !important;
 }
 
 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;
+ text-decoration: none;
 }
 
 ul.quickref.toc {
  margin: 1em 20%;
  font-size: 90%;
  border: solid 1px gray;
 }
 
 dl.quickref {
  margin: 1ex 1em;
+ overflow: hidden;
 }
 dl.quickref dt {
  margin: 0.4ex;
  padding: 2px 0.5ex;
  background: #e0e0e0;
  display: compact;
 }
 dl.quickref dd {
  margin: 0px 0.4ex 0.4ex 10%;
  padding: 0px;
- border: 1px solid grey;
+ border: 1px solid gray;
+ overflow: hidden;
 }
 dl.quickref code kbd {
  font-style: italic;
  color: #0000c0;
 }
 dl.quickref blockquote {
  background: #ffffc0;
  padding: 4px;
  border: dotted 1px gray;
  font-family: monospace;
+ font-size: 90%;
+ overflow: hidden;
 }
 dl.quickref blockquote em {
  display: block;
  font-family: inherit !important;
  font-size: inherit !important;
  font-weight: inherit !important;
  font-style: inherit !important;
  background: #ffc0c0;
+ overflow: hidden;
 }