Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / python / cpython2 / bd5fdd93a9484accb188bc7ef62d2d1af937149a / . / Doc / html / style.css
blob: c722db36badc59fab5221b2af7bf49738849768d [file] [log] [blame]
Fred Drake00d98ee1999-02-16 20:27:08 +0000[diff] [blame]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 */
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]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 }
Fred Drake00d98ee1999-02-16 20:27:08 +0000[diff] [blame]12
Fred Drakebde8d1c2001-07-06 22:37:36 +0000[diff] [blame]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 */
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]20small.xtiny { font-size : xx-small; }
21small.tiny { font-size : x-small; }
22small.scriptsize { font-size : smaller; }
23small.footnotesize { font-size : small; }
24big.xlarge { font-size : large; }
25big.xxlarge { font-size : x-large; }
26big.huge { font-size : larger; }
27big.xhuge { font-size : xx-large; }
Fred Drake00d98ee1999-02-16 20:27:08 +0000[diff] [blame]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
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]38body { color: #000000;
Fred Drake16816272000-09-16 20:40:44 +0000[diff] [blame]39 background-color: #ffffff; }
40
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]41a:active { color: #ff0000; }
Fred Drake6ab8b402003-06-27 16:32:27 +0000[diff] [blame]42a:link:hover { background-color: #bbeeff; }
43a:visited:hover { background-color: #bbeeff; }
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]44a:visited { color: #551a8b; }
45a:link { color: #0000bb; }
Fred Drake16816272000-09-16 20:40:44 +0000[diff] [blame]46
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]47h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]48 font-weight: bold; }
49h1 { font-size: 180%; }
50h2 { font-size: 150%; }
51h3, h4 { font-size: 120%; }
Fred Drakee1d4ad32001-11-14 22:35:59 +0000[diff] [blame]52code, tt { font-family: lucida typewriter, lucidatypewriter,
53 monospace; }
Fred Drake9eb41552001-03-08 22:17:54 +0000[diff] [blame]54var { font-family: times, serif;
Fred Drakebdcc96c2000-03-29 22:41:52 +0000[diff] [blame]55 font-style: italic;
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]56 font-weight: normal; }
Fred Drake00d98ee1999-02-16 20:27:08 +0000[diff] [blame]57
Fred Drakebeafc792001-11-26 21:46:53 +0000[diff] [blame]58.typelabel { font-family: lucida, sans-serif; }
Fred Drakee1d4ad32001-11-14 22:35:59 +0000[diff] [blame]59
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]60.navigation td { background-color: #99ccff;
Fred Drake3eb7c122000-08-31 07:15:57 +0000[diff] [blame]61 font-weight: bold;
62 font-family: avantgarde, sans-serif;
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]63 font-size: 110%; }
Fred Drake699f98c2000-08-29 21:57:34 +0000[diff] [blame]64
Fred Drake5a55c492002-05-01 22:03:40 +0000[diff] [blame]65div.warning { background-color: #fffaf0;
66 border: thin solid black;
67 padding: 0.5em;
68 margin-left: 2em;
69 margin-right: 2em; }
70
Fred Drake9db20c62003-01-27 16:31:16 +0000[diff] [blame]71div.warning .label { font-family: sans-serif;
72 font-size: 110%;
Fred Drake5a55c492002-05-01 22:03:40 +0000[diff] [blame]73 margin-right: 0.5em; }
74
Fred Drake9db20c62003-01-27 16:31:16 +0000[diff] [blame]75div.note { background-color: #fffaf0;
76 border: thin solid black;
77 padding: 0.5em;
78 margin-left: 2em;
79 margin-right: 2em; }
80
81div.note .label { margin-right: 0.5em;
82 font-family: sans-serif; }
83
Fred Drake6a119602000-10-25 16:10:46 +0000[diff] [blame]84.release-info { font-style: italic; }
85
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]86.titlegraphic { vertical-align: top; }
Fred Drake00d98ee1999-02-16 20:27:08 +0000[diff] [blame]87
Fred Drake8a5e6792002-04-15 18:41:31 +0000[diff] [blame]88.verbatim pre { color: #00008b;
Fred Drakee1d4ad32001-11-14 22:35:59 +0000[diff] [blame]89 font-family: lucida typewriter, lucidatypewriter,
Fred Drake8a5e6792002-04-15 18:41:31 +0000[diff] [blame]90 monospace;
91 font-size: 90%; }
92.verbatim { margin-left: 2em; }
Fred Drake49c59552003-01-29 05:14:44 +0000[diff] [blame]93.verbatim .footer { padding: 0.05in;
94 font-size: 85%;
95 background-color: #99ccff;
96 margin-right: 0.5in; }
Fred Drake00d98ee1999-02-16 20:27:08 +0000[diff] [blame]97
Fred Drakebde8d1c2001-07-06 22:37:36 +0000[diff] [blame]98.grammar { background-color: #99ccff;
99 margin-right: 0.5in;
100 padding: 0.05in; }
Fred Drakebde8d1c2001-07-06 22:37:36 +0000[diff] [blame]101.grammar-footer { padding: 0.05in;
102 font-size: 85%; }
103
Fred Drake6ab8b402003-06-27 16:32:27 +0000[diff] [blame]104.productions { background-color: #bbeeff; }
105.productions a:active { color: #ff0000; }
106.productions a:link:hover { background-color: #99ccff; }
107.productions a:visited:hover { background-color: #99ccff; }
108.productions a:visited { color: #551a8b; }
109.productions a:link { color: #0000bb; }
110.productions table { vertical-align: baseline; }
111
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]112.email { font-family: avantgarde, sans-serif; }
Fred Drake479384e2001-09-26 18:46:36 +0000[diff] [blame]113.mailheader { font-family: avantgarde, sans-serif; }
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]114.mimetype { font-family: avantgarde, sans-serif; }
115.newsgroup { font-family: avantgarde, sans-serif; }
116.url { font-family: avantgarde, sans-serif; }
117.file { font-family: avantgarde, sans-serif; }
Fred Drakebd5fdd92003-07-16 14:01:56 +0000[diff] [blame^]118.menuselection { font-family: avantgarde, sans-serif; }
Fred Drakebdcc96c2000-03-29 22:41:52 +0000[diff] [blame]119
Fred Drake6c7fc772000-10-26 20:01:09 +0000[diff] [blame]120.tableheader { background-color: #99ccff;
Fred Drake5df72f02000-10-02 17:36:27 +0000[diff] [blame]121 font-family: avantgarde, sans-serif; }
Fred Drakeeacc4fc2000-08-30 15:02:13 +0000[diff] [blame]122
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]123.refcount-info { font-style: italic; }
Fred Drakebdcc96c2000-03-29 22:41:52 +0000[diff] [blame]124.refcount-info .value { font-weight: bold;
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]125 color: #006600; }
Fred Drake01bc01c1999-03-02 15:58:20 +0000[diff] [blame]126
127/*
Fred Drake7c6a90d1999-03-25 22:22:45 +0000[diff] [blame]128 * Some decoration for the "See also:" blocks, in part inspired by some of
129 * the styling on Lars Marius Garshol's XSA pages.
130 * (The blue in the navigation bars is #99CCFF.)
131 */
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]132.seealso { background-color: #fffaf0;
Fred Drake7c6a90d1999-03-25 22:22:45 +0000[diff] [blame]133 border: thin solid black;
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]134 padding: 4pt; }
Fred Drake7c6a90d1999-03-25 22:22:45 +0000[diff] [blame]135
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]136.seealso .heading { font-size: 110%; }
Fred Drake7c6a90d1999-03-25 22:22:45 +0000[diff] [blame]137
138/*
Fred Drake01bc01c1999-03-02 15:58:20 +0000[diff] [blame]139 * Class 'availability' is used for module availability statements at
Fred Drake329796d2000-09-28 20:41:16 +0000[diff] [blame]140 * the top of modules.
Fred Drake01bc01c1999-03-02 15:58:20 +0000[diff] [blame]141 */
Fred Drake1ab1f712001-06-23 04:53:43 +0000[diff] [blame]142.availability .platform { font-weight: bold; }