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
@@ -213,8 +213,9 @@ div.prevnext a.prevnext-next {
 div.prevnext a:hover {
  background: gray;
  border: black 1px solid;
  color: white;
+ text-decoration: none;
 }
 
 ul.quickref.toc {
  margin: 1em 20%;
@@ -223,8 +224,9 @@ ul.quickref.toc {
 }
 
 dl.quickref {
  margin: 1ex 1em;
+ overflow: hidden;
 }
 dl.quickref dt {
  margin: 0.4ex;
  padding: 2px 0.5ex;
@@ -233,9 +235,10 @@ dl.quickref dt {
 }
 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;
@@ -244,13 +247,16 @@ 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;
 }