Changes from 1.5.2p2, plus fix a couple of errors noted by Hernan
Martinez Foffani <hfoffani@sofrecom.com.ar>.
diff --git a/Doc/html/style.css b/Doc/html/style.css
index c9625db..56fa977 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -32,26 +32,32 @@
h1 { font-size: 180% }
h2 { font-size: 150% }
h3, h4 { font-size: 120% }
-code, tt { font-family: courier }
-var { font: italic normal serif }
+code, tt { font-family: monospace }
+var { font-family: serif;
+ font-style: italic;
+ font-weight: normal }
.navigation .title { font-family: avantgarde, sans-serif;
font-size: 110% }
-.verbatim { color: darkblue }
+.verbatim { color: #00008b }
.email { font-family: avantgarde, sans-serif }
.mimetype { font-family: avantgarde, sans-serif }
.newsgroup { font-family: avantgarde, sans-serif }
.url { font-family: avantgarde, sans-serif }
-.file { font-family: avantgarge, sans-serif }
+.file { font-family: avantgarde, sans-serif }
+
+.refcount-info { font-style: italic }
+.refcount-info .value { font-weight: bold;
+ color: #006600 }
/*
* Some decoration for the "See also:" blocks, in part inspired by some of
* the styling on Lars Marius Garshol's XSA pages.
* (The blue in the navigation bars is #99CCFF.)
*/
-.seealso { background-color: floralwhite;
+.seealso { background-color: #fffaf0;
border: thin solid black;
padding: 4pt }