diff options
| -rw-r--r-- | Doc/html/style.css | 77 |
1 files changed, 39 insertions, 38 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index 0bdda92..ed9c342 100644 --- 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 } |