-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 @@ -215,4 +215,5 @@ div.prevnext a:hover { border: black 1px solid; color: white; + text-decoration: none; } @@ -225,4 +226,5 @@ ul.quickref.toc { dl.quickref { margin: 1ex 1em; + overflow: hidden; } dl.quickref dt { @@ -235,5 +237,6 @@ 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 { @@ -246,4 +249,6 @@ dl.quickref blockquote { border: dotted 1px gray; font-family: monospace; + font-size: 90%; + overflow: hidden; } dl.quickref blockquote em { @@ -254,3 +259,4 @@ dl.quickref blockquote em { font-style: inherit !important; background: #ffc0c0; + overflow: hidden; } |