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.

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 }