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 7bfa16f..767cf74 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -42,7 +42,7 @@
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 }