-rw-r--r-- | htdocs/style.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/htdocs/style.css b/htdocs/style.css index 28aa8df..27721d4 100644 --- a/htdocs/style.css +++ b/htdocs/style.css @@ -1,18 +1,18 @@ body { - font-family: sans-serif; + font-family: arial,helvetica, sans-serif; font-size: 11pt; } a:link, a:visited { text-decoration: none; } a:link:hover, a:visited:hover { text-decoration: underline; } p { margin: 1ex 1em; text-indent: 2em; text-align: justify; } p.note { margin-left: 10%; @@ -221,33 +221,34 @@ 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%; + margin: 0px 1% 0.4ex 10%; + width: 89%; padding: 0px; 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; } |