annotate Doc/html/style.css @ 38664:7619216bbc19 2.4

Bug #1502728: Correctly link against librt library on HP-UX. (backport from rev. 46743)
author Georg Brandl <georg@python.org>
date Thu, 08 Jun 2006 12:54:16 +0000
parents 71372449582d
children f1a4ce1fe5b1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10196
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
1 /*
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
2 * The first part of this is the standard CSS generated by LaTeX2HTML,
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
3 * with the "empty" declarations removed.
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
4 */
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
5
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
6 /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
7 .math { font-family: "Century Schoolbook", serif; }
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
8 .math i { font-family: "Century Schoolbook", serif;
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
9 font-weight: bold }
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
10 .boldmath { font-family: "Century Schoolbook", serif;
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
11 font-weight: bold }
10196
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
12
18425
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
13 /*
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
14 * Implement both fixed-size and relative sizes.
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
15 *
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
16 * I think these can be safely removed, as it doesn't appear that
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
17 * LaTeX2HTML ever generates these, even though these are carried
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
18 * over from the LaTeX2HTML stylesheet.
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
19 */
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
20 small.xtiny { font-size : xx-small; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
21 small.tiny { font-size : x-small; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
22 small.scriptsize { font-size : smaller; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
23 small.footnotesize { font-size : small; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
24 big.xlarge { font-size : large; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
25 big.xxlarge { font-size : x-large; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
26 big.huge { font-size : larger; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
27 big.xhuge { font-size : xx-large; }
10196
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
28
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
29 /*
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
30 * Document-specific styles come next;
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
31 * these are added for the Python documentation.
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
32 *
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
33 * Note that the size specifications for the H* elements are because
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
34 * Netscape on Solaris otherwise doesn't get it right; they all end up
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
35 * the normal text size.
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
36 */
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
37
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
38 body { color: #000000;
14644
6637c091ff44 Push more of the display control into the style sheet.
Fred Drake <fdrake@acm.org>
parents: 14289
diff changeset
39 background-color: #ffffff; }
6637c091ff44 Push more of the display control into the style sheet.
Fred Drake <fdrake@acm.org>
parents: 14289
diff changeset
40
33990
71372449582d avoid applying :active to anchors that are only link targets
Fred Drake <fdrake@acm.org>
parents: 33967
diff changeset
41 a:link:active { color: #ff0000; }
29606
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
42 a:link:hover { background-color: #bbeeff; }
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
43 a:visited:hover { background-color: #bbeeff; }
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
44 a:visited { color: #551a8b; }
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
45 a:link { color: #0000bb; }
14644
6637c091ff44 Push more of the display control into the style sheet.
Fred Drake <fdrake@acm.org>
parents: 14289
diff changeset
46
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
47 h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
48 font-weight: bold; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
49 h1 { font-size: 180%; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
50 h2 { font-size: 150%; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
51 h3, h4 { font-size: 120%; }
30340
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
52
33963
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
53 /* These are section titles used in navigation links, so make sure we
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
54 * match the section header font here, even it not the weight.
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
55 */
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
56 .sectref { font-family: avantgarde, sans-serif; }
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
57 /* And the label before the titles in navigation: */
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
58 .navlabel { font-size: 85%; }
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
59
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
60
30340
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
61 /* LaTeX2HTML insists on inserting <br> elements into headers which
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
62 * are marked with \label. This little bit of CSS magic ensures that
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
63 * these elements don't cause spurious whitespace to be added.
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
64 */
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
65 h1>br, h2>br, h3>br,
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
66 h4>br, h5>br, h6>br { display: none; }
a11e1cb30644 avoid spurious vertical whitespace preceeding heading which are marked
Fred Drake <fdrake@acm.org>
parents: 30328
diff changeset
67
30230
496968f3649e fix minor syntactic faux pas
Fred Drake <fdrake@acm.org>
parents: 29897
diff changeset
68 code, tt { font-family: "lucida typewriter", lucidatypewriter,
20977
95e3584abe45 Finally commit the font changes that have been live on the development site
Fred Drake <fdrake@acm.org>
parents: 20113
diff changeset
69 monospace; }
17011
db55604353b3 Add more font flavors for <var> elements; the previous incarnation caused
Fred Drake <fdrake@acm.org>
parents: 15348
diff changeset
70 var { font-family: times, serif;
12113
2f2f2b1ce568 Changes from 1.5.2p2, plus fix a couple of errors noted by Hernan
Fred Drake <fdrake@acm.org>
parents: 10475
diff changeset
71 font-style: italic;
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
72 font-weight: normal; }
10196
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
73
33963
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
74 .Unix { font-variant: small-caps; }
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
75
21055
d45691a6987f Typo, spotted by Fredrik Lundh.
Fred Drake <fdrake@acm.org>
parents: 20977
diff changeset
76 .typelabel { font-family: lucida, sans-serif; }
20977
95e3584abe45 Finally commit the font changes that have been live on the development site
Fred Drake <fdrake@acm.org>
parents: 20113
diff changeset
77
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
78 .navigation td { background-color: #99ccff;
14289
2e2fbee53e69 Always room to remove more formatting from the HTML!
Fred Drake <fdrake@acm.org>
parents: 14264
diff changeset
79 font-weight: bold;
2e2fbee53e69 Always room to remove more formatting from the HTML!
Fred Drake <fdrake@acm.org>
parents: 14264
diff changeset
80 font-family: avantgarde, sans-serif;
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
81 font-size: 110%; }
14250
4afb0889a165 Move a little more here.
Fred Drake <fdrake@acm.org>
parents: 12113
diff changeset
82
23333
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
83 div.warning { background-color: #fffaf0;
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
84 border: thin solid black;
30604
d3fb75bc6356 Fix stupid style bug.
Fred Drake <fdrake@acm.org>
parents: 30408
diff changeset
85 padding: 1em;
23333
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
86 margin-left: 2em;
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
87 margin-right: 2em; }
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
88
27417
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
89 div.warning .label { font-family: sans-serif;
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
90 font-size: 110%;
23333
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
91 margin-right: 0.5em; }
cd02a36704fe Added more style for major warnings.
Fred Drake <fdrake@acm.org>
parents: 23050
diff changeset
92
27417
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
93 div.note { background-color: #fffaf0;
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
94 border: thin solid black;
30605
de8552f0acc5 Fix stupid style bug in a second place.
Fred Drake <fdrake@acm.org>
parents: 30604
diff changeset
95 padding: 1em;
27417
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
96 margin-left: 2em;
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
97 margin-right: 2em; }
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
98
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
99 div.note .label { margin-right: 0.5em;
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
100 font-family: sans-serif; }
9e430acccdb8 Make the "notice" environments somewhat similar, with less difference
Fred Drake <fdrake@acm.org>
parents: 23861
diff changeset
101
33963
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
102 address { font-size: 80%; }
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
103 .release-info { font-style: italic;
fbf30646cd13 more HTML styling detail changes
Fred Drake <fdrake@acm.org>
parents: 33962
diff changeset
104 font-size: 80%; }
15320
3bd13a2fc838 Minor addition; add a little formatting to the release information that
Fred Drake <fdrake@acm.org>
parents: 14973
diff changeset
105
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
106 .titlegraphic { vertical-align: top; }
10196
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
107
23050
8a8affccf463 Clean up the application of style to verbatim text.
Fred Drake <fdrake@acm.org>
parents: 22831
diff changeset
108 .verbatim pre { color: #00008b;
30230
496968f3649e fix minor syntactic faux pas
Fred Drake <fdrake@acm.org>
parents: 29897
diff changeset
109 font-family: "lucida typewriter", lucidatypewriter,
23050
8a8affccf463 Clean up the application of style to verbatim text.
Fred Drake <fdrake@acm.org>
parents: 22831
diff changeset
110 monospace;
8a8affccf463 Clean up the application of style to verbatim text.
Fred Drake <fdrake@acm.org>
parents: 22831
diff changeset
111 font-size: 90%; }
8a8affccf463 Clean up the application of style to verbatim text.
Fred Drake <fdrake@acm.org>
parents: 22831
diff changeset
112 .verbatim { margin-left: 2em; }
27509
44f465683927 Make the footer at the end of a \verbatiminput stand out a little
Fred Drake <fdrake@acm.org>
parents: 27417
diff changeset
113 .verbatim .footer { padding: 0.05in;
44f465683927 Make the footer at the end of a \verbatiminput stand out a little
Fred Drake <fdrake@acm.org>
parents: 27417
diff changeset
114 font-size: 85%;
44f465683927 Make the footer at the end of a \verbatiminput stand out a little
Fred Drake <fdrake@acm.org>
parents: 27417
diff changeset
115 background-color: #99ccff;
44f465683927 Make the footer at the end of a \verbatiminput stand out a little
Fred Drake <fdrake@acm.org>
parents: 27417
diff changeset
116 margin-right: 0.5in; }
10196
1e0dd2ef3971 CSS style sheet for the documentation.
Fred Drake <fdrake@acm.org>
parents:
diff changeset
117
18425
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
118 .grammar { background-color: #99ccff;
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
119 margin-right: 0.5in;
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
120 padding: 0.05in; }
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
121 .grammar-footer { padding: 0.05in;
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
122 font-size: 85%; }
33962
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
123 .grammartoken { font-family: "lucida typewriter", lucidatypewriter,
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
124 monospace; }
18425
2fd1377ec48c Revise a comment about styles I don't think LaTeX2HTML can generate,
Fred Drake <fdrake@acm.org>
parents: 18235
diff changeset
125
29606
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
126 .productions { background-color: #bbeeff; }
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
127 .productions a:active { color: #ff0000; }
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
128 .productions a:link:hover { background-color: #99ccff; }
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
129 .productions a:visited:hover { background-color: #99ccff; }
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
130 .productions a:visited { color: #551a8b; }
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
131 .productions a:link { color: #0000bb; }
33962
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
132 .productions table { vertical-align: baseline;
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
133 empty-cells: show; }
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
134 .productions > table td,
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
135 .productions > table th { padding: 2px; }
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
136 .productions > table td:first-child,
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
137 .productions > table td:last-child {
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
138 font-family: "lucida typewriter",
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
139 lucidatypewriter,
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
140 monospace;
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
141 }
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
142 /* same as the second selector above, but expressed differently for Opera */
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
143 .productions > table td:first-child + td + td {
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
144 font-family: "lucida typewriter",
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
145 lucidatypewriter,
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
146 monospace;
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
147 vertical-align: baseline;
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
148 }
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
149 .productions > table td:first-child + td {
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
150 padding-left: 1em;
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
151 padding-right: 1em;
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
152 }
4375006e5f07 move table formatting for grammar productions from HTML to CSS
Fred Drake <fdrake@acm.org>
parents: 33958
diff changeset
153 .productions > table tr { vertical-align: baseline; }
29606
2d16c3efe147 fix link-hovering so <a name='...'> (no href attribute) doesn't get
Fred Drake <fdrake@acm.org>
parents: 27509
diff changeset
154
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
155 .email { font-family: avantgarde, sans-serif; }
20113
12a787fb71df Move the styling for the HTML version of \mailheader into the CSS file.
Fred Drake <fdrake@acm.org>
parents: 18425
diff changeset
156 .mailheader { font-family: avantgarde, sans-serif; }
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
157 .mimetype { font-family: avantgarde, sans-serif; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
158 .newsgroup { font-family: avantgarde, sans-serif; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
159 .url { font-family: avantgarde, sans-serif; }
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
160 .file { font-family: avantgarde, sans-serif; }
31417
603a9eaa74e1 add \guilabel macro to mark labels that occur in user interfaces
Fred Drake <fdrake@acm.org>
parents: 30605
diff changeset
161 .guilabel { font-family: avantgarde, sans-serif; }
12113
2f2f2b1ce568 Changes from 1.5.2p2, plus fix a couple of errors noted by Hernan
Fred Drake <fdrake@acm.org>
parents: 10475
diff changeset
162
33957
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
163 .realtable { border-collapse: collapse;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
164 border-color: black;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
165 border-style: solid;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
166 border-width: 0px 0px 2px 0px;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
167 empty-cells: show;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
168 margin-left: auto;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
169 margin-right: auto;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
170 padding-left: 0.4em;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
171 padding-right: 0.4em;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
172 }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
173 .realtable tbody { vertical-align: baseline; }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
174 .realtable tfoot { display: table-footer-group; }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
175 .realtable thead { background-color: #99ccff;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
176 border-width: 0px 0px 2px 1px;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
177 display: table-header-group;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
178 font-family: avantgarde, sans-serif;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
179 font-weight: bold;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
180 vertical-align: baseline;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
181 }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
182 .realtable thead :first-child {
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
183 border-width: 0px 0px 2px 0px;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
184 }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
185 .realtable thead th { border-width: 0px 0px 2px 1px }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
186 .realtable td,
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
187 .realtable th { border-color: black;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
188 border-style: solid;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
189 border-width: 0px 0px 1px 1px;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
190 padding-left: 0.4em;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
191 padding-right: 0.4em;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
192 }
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
193 .realtable td:first-child,
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
194 .realtable th:first-child {
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
195 border-left-width: 0px;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
196 vertical-align: baseline;
4f7456d03cb9 move much of the table styling out of the HTML and into the CSS;
Fred Drake <fdrake@acm.org>
parents: 33953
diff changeset
197 }
33964
a91e92b982ac - hack for MSIE5 to make (real) tables center
Fred Drake <fdrake@acm.org>
parents: 33963
diff changeset
198 .center { text-align: center; }
a91e92b982ac - hack for MSIE5 to make (real) tables center
Fred Drake <fdrake@acm.org>
parents: 33963
diff changeset
199 .left { text-align: left; }
a91e92b982ac - hack for MSIE5 to make (real) tables center
Fred Drake <fdrake@acm.org>
parents: 33963
diff changeset
200 .right { text-align: right; }
14264
660dbcc18b9e Push a little more here to avoid style information in the generation
Fred Drake <fdrake@acm.org>
parents: 14250
diff changeset
201
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
202 .refcount-info { font-style: italic; }
12113
2f2f2b1ce568 Changes from 1.5.2p2, plus fix a couple of errors noted by Hernan
Fred Drake <fdrake@acm.org>
parents: 10475
diff changeset
203 .refcount-info .value { font-weight: bold;
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
204 color: #006600; }
10325
4a3e63938469 Changes to accomodate the global module index and platform annotations.
Fred Drake <fdrake@acm.org>
parents: 10247
diff changeset
205
4a3e63938469 Changes to accomodate the global module index and platform annotations.
Fred Drake <fdrake@acm.org>
parents: 10247
diff changeset
206 /*
10475
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
207 * Some decoration for the "See also:" blocks, in part inspired by some of
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
208 * the styling on Lars Marius Garshol's XSA pages.
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
209 * (The blue in the navigation bars is #99CCFF.)
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
210 */
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
211 .seealso { background-color: #fffaf0;
10475
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
212 border: thin solid black;
30328
2a82914b08c5 make the padding inside a "See also" box more consistent around the
Fred Drake <fdrake@acm.org>
parents: 30325
diff changeset
213 padding: 0pt 1em 4pt 1em; }
10475
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
214
33953
e1f140260947 more more styling to the CSS
Fred Drake <fdrake@acm.org>
parents: 33790
diff changeset
215 .seealso > .heading { font-size: 110%;
e1f140260947 more more styling to the CSS
Fred Drake <fdrake@acm.org>
parents: 33790
diff changeset
216 font-weight: bold; }
10475
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
217
c82a85ba1dde Added some rules that affect those little "See also:" sections.
Fred Drake <fdrake@acm.org>
parents: 10325
diff changeset
218 /*
10325
4a3e63938469 Changes to accomodate the global module index and platform annotations.
Fred Drake <fdrake@acm.org>
parents: 10247
diff changeset
219 * Class 'availability' is used for module availability statements at
14916
aad2b5a3f7bf Consistency nits, untabify.
Fred Drake <fdrake@acm.org>
parents: 14644
diff changeset
220 * the top of modules.
10325
4a3e63938469 Changes to accomodate the global module index and platform annotations.
Fred Drake <fdrake@acm.org>
parents: 10247
diff changeset
221 */
18235
eb524322a1c3 Consistently use semi-colons after the last property for each selector.
Fred Drake <fdrake@acm.org>
parents: 17011
diff changeset
222 .availability .platform { font-weight: bold; }
30322
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
223
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
224
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
225 /*
33790
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
226 * Additional styles for the distutils package.
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
227 */
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
228 .du-command { font-family: monospace; }
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
229 .du-option { font-family: avantgarde, sans-serif; }
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
230 .du-filevar { font-family: avantgarde, sans-serif;
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
231 font-style: italic; }
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
232 .du-xxx:before { content: "** ";
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
233 font-weight: bold; }
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
234 .du-xxx:after { content: " **";
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
235 font-weight: bold; }
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
236
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
237
83a01912899f Rely on the style sheet more for the distutils markup.
Fred Drake <fdrake@acm.org>
parents: 31417
diff changeset
238 /*
30322
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
239 * Some specialization for printed output.
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
240 */
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
241 @media print {
30325
d5a6b6367bb1 Suppress more online-only navigation in the printed HTML.
Fred Drake <fdrake@acm.org>
parents: 30322
diff changeset
242 .online-navigation { display: none; }
30322
963c680ed9b2 Make the redundent portion of the lower navigation area disappear from the
Fred Drake <fdrake@acm.org>
parents: 30230
diff changeset
243 }