Add more font flavors for <var> elements; the previous incarnation caused

some NT/IE5.5 users to see only boxes for these characters.  This might be
specific to NT Service Pack 6.

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 7bfa16ff897b0df0157d363850eb328a7357a17f..767cf7407db1616af64392ec709ec25da2804238 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -42,7 +42,7 @@ h1                      { font-size: 180% }
 h2                      { font-size: 150% }
 h3, h4                  { font-size: 120% }
 code, tt                { font-family: monospace }
-var                     { font-family: serif;
+var                     { font-family: times, serif;
                           font-style: italic;
                           font-weight: normal }