Home | History | Annotate | Download | only in ref
      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:link:active           { color: #ff0000; }
     42 a:link:hover            { background-color: #bbeeff; }
     43 a:visited:hover         { background-color: #bbeeff; }
     44 a:visited               { color: #551a8b; }
     45 a:link                  { color: #0000bb; }
     46 
     47 h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
     48                           font-weight: bold; }
     49 h1                      { font-size: 180%; }
     50 h2                      { font-size: 150%; }
     51 h3, h4                  { font-size: 120%; }
     52 
     53 /* These are section titles used in navigation links, so make sure we
     54  * match the section header font here, even it not the weight.
     55  */
     56 .sectref                { font-family: avantgarde, sans-serif; }
     57 /* And the label before the titles in navigation: */
     58 .navlabel               { font-size: 85%; }
     59 
     60 
     61 /* LaTeX2HTML insists on inserting <br> elements into headers which
     62  * are marked with \label.  This little bit of CSS magic ensures that
     63  * these elements don't cause spurious whitespace to be added.
     64  */
     65 h1>br, h2>br, h3>br,
     66 h4>br, h5>br, h6>br     { display: none; }
     67 
     68 code, tt                { font-family: "lucida typewriter", lucidatypewriter,
     69                                        monospace; }
     70 var                     { font-family: times, serif;
     71                           font-style: italic;
     72                           font-weight: normal; }
     73 
     74 .Unix                   { font-variant: small-caps; }
     75 
     76 .typelabel              { font-family: lucida, sans-serif; }
     77 
     78 .navigation td          { background-color: #99ccff;
     79                           font-weight: bold;
     80                           font-family: avantgarde, sans-serif;
     81                           font-size: 110%; }
     82 
     83 div.warning             { background-color: #fffaf0;
     84                           border: thin solid black;
     85                           padding: 1em;
     86                           margin-left: 2em;
     87                           margin-right: 2em; }
     88 
     89 div.warning .label      { font-family: sans-serif;
     90                           font-size: 110%;
     91                           margin-right: 0.5em; }
     92 
     93 div.note                { background-color: #fffaf0;
     94                           border: thin solid black;
     95                           padding: 1em;
     96                           margin-left: 2em;
     97                           margin-right: 2em; }
     98 
     99 div.note .label         { margin-right: 0.5em;
    100                           font-family: sans-serif; }
    101 
    102 address                 { font-size: 80%; }
    103 .release-info           { font-style: italic;
    104                           font-size: 80%; }
    105 
    106 .titlegraphic           { vertical-align: top; }
    107 
    108 .verbatim pre           { color: #00008b;
    109                           font-family: "lucida typewriter", lucidatypewriter,
    110                                        monospace;
    111                           font-size: 90%; }
    112 .verbatim               { margin-left: 2em; }
    113 .verbatim .footer       { padding: 0.05in;
    114                           font-size: 85%;
    115                           background-color: #99ccff;
    116                           margin-right: 0.5in; }
    117 
    118 .grammar                { background-color: #99ccff;
    119                           margin-right: 0.5in;
    120                           padding: 0.05in; }
    121 .grammar-footer         { padding: 0.05in;
    122                           font-size: 85%; }
    123 .grammartoken           { font-family: "lucida typewriter", lucidatypewriter,
    124                                        monospace; }
    125 
    126 .productions                  { background-color: #bbeeff; }
    127 .productions a:active         { color: #ff0000; }
    128 .productions a:link:hover     { background-color: #99ccff; }
    129 .productions a:visited:hover  { background-color: #99ccff; }
    130 .productions a:visited        { color: #551a8b; }
    131 .productions a:link           { color: #0000bb; }
    132 .productions table            { vertical-align: baseline;
    133                                 empty-cells: show; }
    134 .productions > table td,
    135 .productions > table th       { padding: 2px; }
    136 .productions > table td:first-child,
    137 .productions > table td:last-child {
    138                                 font-family: "lucida typewriter",
    139                                              lucidatypewriter,
    140                                              monospace;
    141                                 }
    142 /* same as the second selector above, but expressed differently for Opera */
    143 .productions > table td:first-child + td + td {
    144                                 font-family: "lucida typewriter",
    145                                              lucidatypewriter,
    146                                              monospace;
    147                                 vertical-align: baseline;
    148                                 }
    149 .productions > table td:first-child + td {
    150                                 padding-left: 1em;
    151                                 padding-right: 1em;
    152                                 }
    153 .productions > table tr       { vertical-align: baseline; }
    154 
    155 .email                  { font-family: avantgarde, sans-serif; }
    156 .mailheader             { font-family: avantgarde, sans-serif; }
    157 .mimetype               { font-family: avantgarde, sans-serif; }
    158 .newsgroup              { font-family: avantgarde, sans-serif; }
    159 .url                    { font-family: avantgarde, sans-serif; }
    160 .file                   { font-family: avantgarde, sans-serif; }
    161 .guilabel               { font-family: avantgarde, sans-serif; }
    162 
    163 .realtable              { border-collapse: collapse;
    164                           border-color: black;
    165                           border-style: solid;
    166                           border-width: 0px 0px 2px 0px;
    167                           empty-cells: show;
    168                           margin-left: auto;
    169                           margin-right: auto;
    170                           padding-left: 0.4em;
    171                           padding-right: 0.4em;
    172                           }
    173 .realtable tbody        { vertical-align: baseline; }
    174 .realtable tfoot        { display: table-footer-group; }
    175 .realtable thead        { background-color: #99ccff;
    176                           border-width: 0px 0px 2px 1px;
    177                           display: table-header-group;
    178                           font-family: avantgarde, sans-serif;
    179                           font-weight: bold;
    180                           vertical-align: baseline;
    181                           }
    182 .realtable thead :first-child {
    183                           border-width: 0px 0px 2px 0px;
    184                           }
    185 .realtable thead th     { border-width: 0px 0px 2px 1px }
    186 .realtable td,
    187 .realtable th           { border-color: black;
    188                           border-style: solid;
    189                           border-width: 0px 0px 1px 1px;
    190                           padding-left: 0.4em;
    191                           padding-right: 0.4em;
    192                           }
    193 .realtable td:first-child,
    194 .realtable th:first-child {
    195                           border-left-width: 0px;
    196                           vertical-align: baseline;
    197                           }
    198 .center                 { text-align: center; }
    199 .left                   { text-align: left; }
    200 .right                  { text-align: right; }
    201 
    202 .refcount-info          { font-style: italic; }
    203 .refcount-info .value   { font-weight: bold;
    204                           color: #006600; }
    205 
    206 /*
    207  * Some decoration for the "See also:" blocks, in part inspired by some of
    208  * the styling on Lars Marius Garshol's XSA pages.
    209  * (The blue in the navigation bars is #99CCFF.)
    210  */
    211 .seealso                { background-color: #fffaf0;
    212                           border: thin solid black;
    213                           padding: 0pt 1em 4pt 1em; }
    214 
    215 .seealso > .heading     { font-size: 110%;
    216                           font-weight: bold; }
    217 
    218 /*
    219  * Class 'availability' is used for module availability statements at
    220  * the top of modules.
    221  */
    222 .availability .platform { font-weight: bold; }
    223 
    224 
    225 /*
    226  * Additional styles for the distutils package.
    227  */
    228 .du-command             { font-family: monospace; }
    229 .du-option              { font-family: avantgarde, sans-serif; }
    230 .du-filevar             { font-family: avantgarde, sans-serif;
    231                           font-style: italic; }
    232 .du-xxx:before          { content: "** ";
    233                           font-weight: bold; }
    234 .du-xxx:after           { content: " **";
    235                           font-weight: bold; }
    236 
    237 
    238 /*
    239  * Some specialization for printed output.
    240  */
    241 @media print {
    242   .online-navigation    { display: none; }
    243   }
    244