| -rw-r--r-- | htdocs/style.css | 8 |
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 @@ -214,6 +214,7 @@ div.prevnext a:hover { background: gray; border: black 1px solid; color: white; + text-decoration: none; } ul.quickref.toc { @@ -224,6 +225,7 @@ ul.quickref.toc { dl.quickref { margin: 1ex 1em; + overflow: hidden; } dl.quickref dt { margin: 0.4ex; @@ -234,7 +236,8 @@ 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; @@ -245,6 +248,8 @@ dl.quickref blockquote { padding: 4px; border: dotted 1px gray; font-family: monospace; + font-size: 90%; + overflow: hidden; } dl.quickref blockquote em { display: block; @@ -253,4 +258,5 @@ dl.quickref blockquote em { font-weight: inherit !important; font-style: inherit !important; background: #ffc0c0; + overflow: hidden; } |