[OpenSPARC-T2-SAM] / sam-t2 / devtools / v8plus / html / python / lib / lib.css

/*
 * The first part of this is the standard CSS generated by LaTeX2HTML,
 * with the "empty" declarations removed.
 */

/* 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 }

/*
 * Implement both fixed-size and relative sizes.
 *
 * I think these can be safely removed, as it doesn't appear that
 * LaTeX2HTML ever generates these, even though these are carried
 * over from the LaTeX2HTML stylesheet.
 */
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;
 * these are added for the Python documentation.
 *
 * Note that the size specifications for the H* elements are because
 * Netscape on Solaris otherwise doesn't get it right; they all end up
 * the normal text size.
 */

body                    { color: #000000;
                          background-color: #ffffff; }

a:link:active           { color: #ff0000; }
a:link:hover            { background-color: #bbeeff; }
a:visited:hover         { background-color: #bbeeff; }
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%; }

/* These are section titles used in navigation links, so make sure we
 * match the section header font here, even it not the weight.
 */
.sectref                { font-family: avantgarde, sans-serif; }
/* And the label before the titles in navigation: */
.navlabel               { font-size: 85%; }


/* LaTeX2HTML insists on inserting <br> elements into headers which
 * are marked with \label.  This little bit of CSS magic ensures that
 * these elements don't cause spurious whitespace to be added.
 */
h1>br, h2>br, h3>br,
h4>br, h5>br, h6>br     { display: none; }

code, tt                { font-family: "lucida typewriter", lucidatypewriter,
                                       monospace; }
var                     { font-family: times, serif;
                          font-style: italic;
                          font-weight: normal; }

.Unix                   { font-variant: small-caps; }

.typelabel              { font-family: lucida, sans-serif; }

.navigation td          { background-color: #99ccff;
                          font-weight: bold;
                          font-family: avantgarde, sans-serif;
                          font-size: 110%; }

div.warning             { background-color: #fffaf0;
                          border: thin solid black;
                          padding: 1em;
                          margin-left: 2em;
                          margin-right: 2em; }

div.warning .label      { font-family: sans-serif;
                          font-size: 110%;
                          margin-right: 0.5em; }

div.note                { background-color: #fffaf0;
                          border: thin solid black;
                          padding: 1em;
                          margin-left: 2em;
                          margin-right: 2em; }

div.note .label         { margin-right: 0.5em;
                          font-family: sans-serif; }

address                 { font-size: 80%; }
.release-info           { font-style: italic;
                          font-size: 80%; }

.titlegraphic           { vertical-align: top; }

.verbatim pre           { color: #00008b;
                          font-family: "lucida typewriter", lucidatypewriter,
                                       monospace;
                          font-size: 90%; }
.verbatim               { margin-left: 2em; }
.verbatim .footer       { padding: 0.05in;
                          font-size: 85%;
                          background-color: #99ccff;
                          margin-right: 0.5in; }

.grammar                { background-color: #99ccff;
                          margin-right: 0.5in;
                          padding: 0.05in; }
.grammar-footer         { padding: 0.05in;
                          font-size: 85%; }
.grammartoken           { font-family: "lucida typewriter", lucidatypewriter,
                                       monospace; }

.productions                  { background-color: #bbeeff; }
.productions a:active         { color: #ff0000; }
.productions a:link:hover     { background-color: #99ccff; }
.productions a:visited:hover  { background-color: #99ccff; }
.productions a:visited        { color: #551a8b; }
.productions a:link           { color: #0000bb; }
.productions table            { vertical-align: baseline;
                                empty-cells: show; }
.productions > table td,
.productions > table th       { padding: 2px; }
.productions > table td:first-child,
.productions > table td:last-child {
                                font-family: "lucida typewriter",
                                             lucidatypewriter,
                                             monospace;
                                }
/* same as the second selector above, but expressed differently for Opera */
.productions > table td:first-child + td + td {
                                font-family: "lucida typewriter",
                                             lucidatypewriter,
                                             monospace;
                                vertical-align: baseline;
                                }
.productions > table td:first-child + td {
                                padding-left: 1em;
                                padding-right: 1em;
                                }
.productions > table tr       { vertical-align: baseline; }

.email                  { font-family: avantgarde, sans-serif; }
.mailheader             { 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; }
.guilabel               { font-family: avantgarde, sans-serif; }

.realtable              { border-collapse: collapse;
                          border-color: black;
                          border-style: solid;
                          border-width: 0px 0px 2px 0px;
                          empty-cells: show;
                          margin-left: auto;
                          margin-right: auto;
                          padding-left: 0.4em;
                          padding-right: 0.4em;
                          }
.realtable tbody        { vertical-align: baseline; }
.realtable tfoot        { display: table-footer-group; }
.realtable thead        { background-color: #99ccff;
                          border-width: 0px 0px 2px 1px;
                          display: table-header-group;
                          font-family: avantgarde, sans-serif;
                          font-weight: bold;
                          vertical-align: baseline;
                          }
.realtable thead :first-child {
                          border-width: 0px 0px 2px 0px;
                          }
.realtable thead th     { border-width: 0px 0px 2px 1px }
.realtable td,
.realtable th           { border-color: black;
                          border-style: solid;
                          border-width: 0px 0px 1px 1px;
                          padding-left: 0.4em;
                          padding-right: 0.4em;
                          }
.realtable td:first-child,
.realtable th:first-child {
                          border-left-width: 0px;
                          vertical-align: baseline;
                          }
.center                 { text-align: center; }
.left                   { text-align: left; }
.right                  { text-align: right; }

.refcount-info          { font-style: italic; }
.refcount-info .value   { font-weight: bold;
                          color: #006600; }

/*
 * Some decoration for the "See also:" blocks, in part inspired by some of
 * the styling on Lars Marius Garshol's XSA pages.
 * (The blue in the navigation bars is #99CCFF.)
 */
.seealso                { background-color: #fffaf0;
                          border: thin solid black;
                          padding: 0pt 1em 4pt 1em; }

.seealso > .heading     { font-size: 110%;
                          font-weight: bold; }

/*
 * Class 'availability' is used for module availability statements at
 * the top of modules.
 */
.availability .platform { font-weight: bold; }


/*
 * Additional styles for the distutils package.
 */
.du-command             { font-family: monospace; }
.du-option              { font-family: avantgarde, sans-serif; }
.du-filevar             { font-family: avantgarde, sans-serif;
                          font-style: italic; }
.du-xxx:before          { content: "** ";
                          font-weight: bold; }
.du-xxx:after           { content: " **";
                          font-weight: bold; }


/*
 * Some specialization for printed output.
 */
@media print {
  .online-navigation    { display: none; }
  }
Commit	Line	Data
920dae64 AT	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	}