Consistency nits, untabify.

Doc/html/style.css

@@ -4,19 +4,21 @@
  */
 
 /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
-.MATH    { font-family: "Century Schoolbook", serif; }
-.MATH I  { font-family: "Century Schoolbook", serif; font-weight: bold }
-.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
+.math                   { font-family: "Century Schoolbook", serif; }
+.math i                 { font-family: "Century Schoolbook", serif;
+                          font-weight: bold }
+.boldmath               { font-family: "Century Schoolbook", serif;
+                          font-weight: bold }
 
-/* implement both fixed-size and relative sizes */
-SMALL.XTINY		{ font-size : xx-small }
-SMALL.TINY		{ font-size : x-small  }
-SMALL.SCRIPTSIZE	{ font-size : smaller  }
-SMALL.FOOTNOTESIZE	{ font-size : small    }
-BIG.XLARGE		{ font-size : large    }
-BIG.XXLARGE		{ font-size : x-large  }
-BIG.HUGE		{ font-size : larger   }
-BIG.XHUGE		{ font-size : xx-large }
+/* Implement both fixed-size and relative sizes: */
+small.xtiny             { font-size : xx-small }
+small.tiny              { font-size : x-small }
+small.scriptsize        { font-size : smaller }
+small.footnotesize      { font-size : small }
+big.xlarge              { font-size : large }
+big.xxlarge             { font-size : x-large }
+big.huge                { font-size : larger }
+big.xhuge               { font-size : xx-large }
 
 /*
  * Document-specific styles come next;
@@ -27,40 +29,40 @@ BIG.XHUGE		{ font-size : xx-large }
  * the normal text size.
  */
 
-body			{ color: #000000;
+body                    { color: #000000;
                           background-color: #ffffff; }
 
-a:active		{ color: #ff0000; }
-a:visited		{ color: #551a8b; }
-a:link			{ color: #0000bb; }
+a:active                { color: #ff0000; }
+a:visited               { color: #551a8b; }
+a:link                  { color: #0000bb; }
 
-h1, h2, h3, h4, h5, h6	{ font-family: avantgarde, sans-serif;
-			  font-weight: bold }
-h1			{ font-size: 180% }
-h2			{ font-size: 150% }
-h3, h4			{ font-size: 120% }
-code, tt		{ font-family: monospace }
-var			{ font-family: serif;
+h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
+                          font-weight: bold }
+h1                      { font-size: 180% }
+h2                      { font-size: 150% }
+h3, h4                  { font-size: 120% }
+code, tt                { font-family: monospace }
+var                     { font-family: serif;
                           font-style: italic;
                           font-weight: normal }
 
-.navigation td		{ background-color: #99ccff;
+.navigation td          { background-color: #99ccff;
                           font-weight: bold;
                           font-family: avantgarde, sans-serif;
-			  font-size: 110% }
+                          font-size: 110% }
 
-.titlegraphic		{ vertical-align: top; }
+.titlegraphic           { vertical-align: top; }
 
-.verbatim		{ color: #00008b }
+.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: avantgarde, sans-serif }
+.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: avantgarde, sans-serif }
 
-.tableheader td		{ background-color: #99ccff; }
-.tableheader th		{ background-color: #99ccff; }
+.tableheader td         { background-color: #99ccff; }
+.tableheader th         { background-color: #99ccff; }
 
 .refcount-info          { font-style: italic }
 .refcount-info .value   { font-weight: bold;
@@ -71,15 +73,14 @@ var			{ font-family: serif;
  * the styling on Lars Marius Garshol's XSA pages.
  * (The blue in the navigation bars is #99CCFF.)
  */
-.seealso		{ background-color: #fffaf0;
+.seealso                { background-color: #fffaf0;
                           border: thin solid black;
                           padding: 4pt }
 
-.seealso .heading	{ font-size: 110% }
+.seealso .heading       { font-size: 110% }
 
 /*
  * Class 'availability' is used for module availability statements at
- * the top of modules.  Otherwise, rely on context for platform specifiers
- * (generated by \platform and \platformof).
+ * the top of modules.
  */
 .availability .platform { font-weight: bold }