Doc/html/style.css

   1 /*
   2  * The first part of this is the standard CSS generated by LaTeX2HTML,
   3  * with the "empty" declarations removed.
   4  */
   5
   6 /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
   7 .math                   { font-family: "Century Schoolbook", serif; }
   8 .math i                 { font-family: "Century Schoolbook", serif;
   9                           font-weight: bold }
  10 .boldmath               { font-family: "Century Schoolbook", serif;
  11                           font-weight: bold }
  12
  13 /*
  14  * Implement both fixed-size and relative sizes.
  15  *
  16  * I think these can be safely removed, as it doesn't appear that
  17  * LaTeX2HTML ever generates these, even though these are carried
  18  * over from the LaTeX2HTML stylesheet.
  19  */
  20 small.xtiny             { font-size : xx-small; }
  21 small.tiny              { font-size : x-small; }
  22 small.scriptsize        { font-size : smaller; }
  23 small.footnotesize      { font-size : small; }
  24 big.xlarge              { font-size : large; }
  25 big.xxlarge             { font-size : x-large; }
  26 big.huge                { font-size : larger; }
  27 big.xhuge               { font-size : xx-large; }
  28
  29 /*
  30  * Document-specific styles come next;
  31  * these are added for the Python documentation.
  32  *
  33  * Note that the size specifications for the H* elements are because
  34  * Netscape on Solaris otherwise doesn't get it right; they all end up
  35  * the normal text size.
  36  */
  37
  38 body                    { color: #000000;
  39                           background-color: #ffffff; }
  40
  41 a:active                { color: #ff0000; }
  42 a[href]:hover           { background-color: #bbeeff; }
  43 a:visited               { color: #551a8b; }
  44 a:link                  { color: #0000bb; }
  45
  46 h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
  47                           font-weight: bold; }
  48 h1                      { font-size: 180%; }
  49 h2                      { font-size: 150%; }
  50 h3, h4                  { font-size: 120%; }
  51 code, tt                { font-family: lucida typewriter, lucidatypewriter,
  52                                        monospace; }
  53 var                     { font-family: times, serif;
  54                           font-style: italic;
  55                           font-weight: normal; }
  56
  57 .typelabel              { font-family: lucida, sans-serif; }
  58
  59 .navigation td          { background-color: #99ccff;
  60                           font-weight: bold;
  61                           font-family: avantgarde, sans-serif;
  62                           font-size: 110%; }
  63
  64 div.warning             { background-color: #fffaf0;
  65                           border: thin solid black;
  66                           padding: 0.5em;
  67                           margin-left: 2em;
  68                           margin-right: 2em; }
  69
  70 div.warning .label      { font-family: sans-serif;
  71                           font-size: 110%;
  72                           margin-right: 0.5em; }
  73
  74 div.note                { background-color: #fffaf0;
  75                           border: thin solid black;
  76                           padding: 0.5em;
  77                           margin-left: 2em;
  78                           margin-right: 2em; }
  79
  80 div.note .label         { margin-right: 0.5em;
  81                           font-family: sans-serif; }
  82
  83 .release-info           { font-style: italic; }
  84
  85 .titlegraphic           { vertical-align: top; }
  86
  87 .verbatim pre           { color: #00008b;
  88                           font-family: lucida typewriter, lucidatypewriter,
  89                                        monospace;
  90                           font-size: 90%; }
  91 .verbatim               { margin-left: 2em; }
  92 .verbatim .footer       { padding: 0.05in;
  93                           font-size: 85%;
  94                           background-color: #99ccff;
  95                           margin-right: 0.5in; }
  96
  97 .grammar                { background-color: #99ccff;
  98                           margin-right: 0.5in;
  99                           padding: 0.05in; }
 100 .productions            { background-color: #bbeeff; }
 101 .productions a:hover    { background-color: #99ccff; }
 102 .productions table      { vertical-align: baseline; }
 103 .grammar-footer         { padding: 0.05in;
 104                           font-size: 85%; }
 105
 106 .email                  { font-family: avantgarde, sans-serif; }
 107 .mailheader             { font-family: avantgarde, sans-serif; }
 108 .mimetype               { font-family: avantgarde, sans-serif; }
 109 .newsgroup              { font-family: avantgarde, sans-serif; }
 110 .url                    { font-family: avantgarde, sans-serif; }
 111 .file                   { font-family: avantgarde, sans-serif; }
 112
 113 .tableheader            { background-color: #99ccff;
 114                           font-family: avantgarde, sans-serif; }
 115
 116 .refcount-info          { font-style: italic; }
 117 .refcount-info .value   { font-weight: bold;
 118                           color: #006600; }
 119
 120 /*
 121  * Some decoration for the "See also:" blocks, in part inspired by some of
 122  * the styling on Lars Marius Garshol's XSA pages.
 123  * (The blue in the navigation bars is #99CCFF.)
 124  */
 125 .seealso                { background-color: #fffaf0;
 126                           border: thin solid black;
 127                           padding: 4pt; }
 128
 129 .seealso .heading       { font-size: 110%; }
 130
 131 /*
 132  * Class 'availability' is used for module availability statements at
 133  * the top of modules.
 134  */
 135 .availability .platform { font-weight: bold; }