Consistency nits, untabify.

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 0bdda92d624fd3f7131c4cde3a93e15bd9a091dd..ed9c342fadf5eab31b63b01e837503a94f7111ae 100644 (file)
--- a/Doc/html/style.css
+++ b/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 }