[hcoop/debian/mlton.git] / doc / guide / localhost / asciidoc.css

/* Shared CSS for AsciiDoc xhtml11 and html5 backends */

/* Default font. */
body {
  font-family: Georgia,serif;
}

/* Title font. */
h1, h2, h3, h4, h5, h6,
div.title, caption.title,
thead, p.table.header,
#toctitle,
#author, #revnumber, #revdate, #revremark,
#footer {
  font-family: Arial,Helvetica,sans-serif;
}

body {
  margin: 1em 5% 1em 5%;
}

a {
  color: blue;
  text-decoration: underline;
}
a:visited {
  color: fuchsia;
}

em {
  font-style: italic;
  color: navy;
}

strong {
  font-weight: bold;
  color: #083194;
}

h1, h2, h3, h4, h5, h6 {
  color: #527bbd;
  margin-top: 1.2em;
  margin-bottom: 0.5em;
  line-height: 1.3;
}

h1, h2, h3 {
  border-bottom: 2px solid silver;
}
h2 {
  padding-top: 0.5em;
}
h3 {
  float: left;
}
h3 + * {
  clear: left;
}
h5 {
  font-size: 1.0em;
}

div.sectionbody {
  margin-left: 0;
}

hr {
  border: 1px solid silver;
}

p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

ul, ol, li > p {
  margin-top: 0;
}
ul > li     { color: #aaa; }
ul > li > * { color: black; }

.monospaced, code, pre {
  font-family: "Courier New", Courier, monospace;
  font-size: inherit;
  color: navy;
  padding: 0;
  margin: 0;
}
pre {
  white-space: pre-wrap;
}

#author {
  color: #527bbd;
  font-weight: bold;
  font-size: 1.1em;
}
#email {
}
#revnumber, #revdate, #revremark {
}

#footer {
  font-size: small;
  border-top: 2px solid silver;
  padding-top: 0.5em;
  margin-top: 4.0em;
}
#footer-text {
  float: left;
  padding-bottom: 0.5em;
}
#footer-badges {
  float: right;
  padding-bottom: 0.5em;
}

#preamble {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}
div.imageblock, div.exampleblock, div.verseblock,
div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
div.admonitionblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
div.admonitionblock {
  margin-top: 2.0em;
  margin-bottom: 2.0em;
  margin-right: 10%;
  color: #606060;
}

div.content { /* Block element content. */
  padding: 0;
}

/* Block element titles. */
div.title, caption.title {
  color: #527bbd;
  font-weight: bold;
  text-align: left;
  margin-top: 1.0em;
  margin-bottom: 0.5em;
}
div.title + * {
  margin-top: 0;
}

td div.title:first-child {
  margin-top: 0.0em;
}
div.content div.title:first-child {
  margin-top: 0.0em;
}
div.content + div.title {
  margin-top: 0.0em;
}

div.sidebarblock > div.content {
  background: #ffffee;
  border: 1px solid #dddddd;
  border-left: 4px solid #f0f0f0;
  padding: 0.5em;
}

div.listingblock > div.content {
  border: 1px solid #dddddd;
  border-left: 5px solid #f0f0f0;
  background: #f8f8f8;
  padding: 0.5em;
}

div.quoteblock, div.verseblock {
  padding-left: 1.0em;
  margin-left: 1.0em;
  margin-right: 10%;
  border-left: 5px solid #f0f0f0;
  color: #888;
}

div.quoteblock > div.attribution {
  padding-top: 0.5em;
  text-align: right;
}

div.verseblock > pre.content {
  font-family: inherit;
  font-size: inherit;
}
div.verseblock > div.attribution {
  padding-top: 0.75em;
  text-align: left;
}
/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
div.verseblock + div.attribution {
  text-align: left;
}

div.admonitionblock .icon {
  vertical-align: top;
  font-size: 1.1em;
  font-weight: bold;
  text-decoration: underline;
  color: #527bbd;
  padding-right: 0.5em;
}
div.admonitionblock td.content {
  padding-left: 0.5em;
  border-left: 3px solid #dddddd;
}

div.exampleblock > div.content {
  border-left: 3px solid #dddddd;
  padding-left: 0.5em;
}

div.imageblock div.content { padding-left: 0; }
span.image img { border-style: none; vertical-align: text-bottom; }
a.image:visited { color: white; }

dl {
  margin-top: 0.8em;
  margin-bottom: 0.8em;
}
dt {
  margin-top: 0.5em;
  margin-bottom: 0;
  font-style: normal;
  color: navy;
}
dd > *:first-child {
  margin-top: 0.1em;
}

ul, ol {
    list-style-position: outside;
}
ol.arabic {
  list-style-type: decimal;
}
ol.loweralpha {
  list-style-type: lower-alpha;
}
ol.upperalpha {
  list-style-type: upper-alpha;
}
ol.lowerroman {
  list-style-type: lower-roman;
}
ol.upperroman {
  list-style-type: upper-roman;
}

div.compact ul, div.compact ol,
div.compact p, div.compact p,
div.compact div, div.compact div {
  margin-top: 0.1em;
  margin-bottom: 0.1em;
}

tfoot {
  font-weight: bold;
}
td > div.verse {
  white-space: pre;
}

div.hdlist {
  margin-top: 0.8em;
  margin-bottom: 0.8em;
}
div.hdlist tr {
  padding-bottom: 15px;
}
dt.hdlist1.strong, td.hdlist1.strong {
  font-weight: bold;
}
td.hdlist1 {
  vertical-align: top;
  font-style: normal;
  padding-right: 0.8em;
  color: navy;
}
td.hdlist2 {
  vertical-align: top;
}
div.hdlist.compact tr {
  margin: 0;
  padding-bottom: 0;
}

.comment {
  background: yellow;
}

.footnote, .footnoteref {
  font-size: 0.8em;
}

span.footnote, span.footnoteref {
  vertical-align: super;
}

#footnotes {
  margin: 20px 0 20px 0;
  padding: 7px 0 0 0;
}

#footnotes div.footnote {
  margin: 0 0 5px 0;
}

#footnotes hr {
  border: none;
  border-top: 1px solid silver;
  height: 1px;
  text-align: left;
  margin-left: 0;
  width: 20%;
  min-width: 100px;
}

div.colist td {
  padding-right: 0.5em;
  padding-bottom: 0.3em;
  vertical-align: top;
}
div.colist td img {
  margin-top: 0.3em;
}

@media print {
  #footer-badges { display: none; }
}

#toc {
  margin-bottom: 2.5em;
}

#toctitle {
  color: #527bbd;
  font-size: 1.1em;
  font-weight: bold;
  margin-top: 1.0em;
  margin-bottom: 0.1em;
}

div.toclevel0, div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
  margin-top: 0;
  margin-bottom: 0;
}
div.toclevel2 {
  margin-left: 2em;
  font-size: 0.9em;
}
div.toclevel3 {
  margin-left: 4em;
  font-size: 0.9em;
}
div.toclevel4 {
  margin-left: 6em;
  font-size: 0.9em;
}

span.aqua { color: aqua; }
span.black { color: black; }
span.blue { color: blue; }
span.fuchsia { color: fuchsia; }
span.gray { color: gray; }
span.green { color: green; }
span.lime { color: lime; }
span.maroon { color: maroon; }
span.navy { color: navy; }
span.olive { color: olive; }
span.purple { color: purple; }
span.red { color: red; }
span.silver { color: silver; }
span.teal { color: teal; }
span.white { color: white; }
span.yellow { color: yellow; }

span.aqua-background { background: aqua; }
span.black-background { background: black; }
span.blue-background { background: blue; }
span.fuchsia-background { background: fuchsia; }
span.gray-background { background: gray; }
span.green-background { background: green; }
span.lime-background { background: lime; }
span.maroon-background { background: maroon; }
span.navy-background { background: navy; }
span.olive-background { background: olive; }
span.purple-background { background: purple; }
span.red-background { background: red; }
span.silver-background { background: silver; }
span.teal-background { background: teal; }
span.white-background { background: white; }
span.yellow-background { background: yellow; }

span.big { font-size: 2em; }
span.small { font-size: 0.6em; }

span.underline { text-decoration: underline; }
span.overline { text-decoration: overline; }
span.line-through { text-decoration: line-through; }

div.unbreakable { page-break-inside: avoid; }


/*
 * xhtml11 specific
 *
 * */

div.tableblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
div.tableblock > table {
  border: 3px solid #527bbd;
}
thead, p.table.header {
  font-weight: bold;
  color: #527bbd;
}
p.table {
  margin-top: 0;
}
/* Because the table frame attribute is overriden by CSS in most browsers. */
div.tableblock > table[frame="void"] {
  border-style: none;
}
div.tableblock > table[frame="hsides"] {
  border-left-style: none;
  border-right-style: none;
}
div.tableblock > table[frame="vsides"] {
  border-top-style: none;
  border-bottom-style: none;
}


/*
 * html5 specific
 *
 * */

table.tableblock {
  margin-top: 1.0em;
  margin-bottom: 1.5em;
}
thead, p.tableblock.header {
  font-weight: bold;
  color: #527bbd;
}
p.tableblock {
  margin-top: 0;
}
table.tableblock {
  border-width: 3px;
  border-spacing: 0px;
  border-style: solid;
  border-color: #527bbd;
  border-collapse: collapse;
}
th.tableblock, td.tableblock {
  border-width: 1px;
  padding: 4px;
  border-style: solid;
  border-color: #527bbd;
}

table.tableblock.frame-topbot {
  border-left-style: hidden;
  border-right-style: hidden;
}
table.tableblock.frame-sides {
  border-top-style: hidden;
  border-bottom-style: hidden;
}
table.tableblock.frame-none {
  border-style: hidden;
}

th.tableblock.halign-left, td.tableblock.halign-left {
  text-align: left;
}
th.tableblock.halign-center, td.tableblock.halign-center {
  text-align: center;
}
th.tableblock.halign-right, td.tableblock.halign-right {
  text-align: right;
}

th.tableblock.valign-top, td.tableblock.valign-top {
  vertical-align: top;
}
th.tableblock.valign-middle, td.tableblock.valign-middle {
  vertical-align: middle;
}
th.tableblock.valign-bottom, td.tableblock.valign-bottom {
  vertical-align: bottom;
}


/*
 * manpage specific
 *
 * */

body.manpage h1 {
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  border-top: 2px solid silver;
  border-bottom: 2px solid silver;
}
body.manpage h2 {
  border-style: none;
}
body.manpage div.sectionbody {
  margin-left: 3em;
}

@media print {
  body.manpage div#toc { display: none; }
}
Commit	Line	Data
7f918cf1 CE	1	/* Shared CSS for AsciiDoc xhtml11 and html5 backends */
	2
	3	/* Default font. */
	4	body {
	5	font-family: Georgia,serif;
	6	}
	7
	8	/* Title font. */
	9	h1, h2, h3, h4, h5, h6,
	10	div.title, caption.title,
	11	thead, p.table.header,
	12	#toctitle,
	13	#author, #revnumber, #revdate, #revremark,
	14	#footer {
	15	font-family: Arial,Helvetica,sans-serif;
	16	}
	17
	18	body {
	19	margin: 1em 5% 1em 5%;
	20	}
	21
	22	a {
	23	color: blue;
	24	text-decoration: underline;
	25	}
	26	a:visited {
	27	color: fuchsia;
	28	}
	29
	30	em {
	31	font-style: italic;
	32	color: navy;
	33	}
	34
	35	strong {
	36	font-weight: bold;
	37	color: #083194;
	38	}
	39
	40	h1, h2, h3, h4, h5, h6 {
	41	color: #527bbd;
	42	margin-top: 1.2em;
	43	margin-bottom: 0.5em;
	44	line-height: 1.3;
	45	}
	46
	47	h1, h2, h3 {
	48	border-bottom: 2px solid silver;
	49	}
	50	h2 {
	51	padding-top: 0.5em;
	52	}
	53	h3 {
	54	float: left;
	55	}
	56	h3 + * {
	57	clear: left;
	58	}
	59	h5 {
	60	font-size: 1.0em;
	61	}
	62
	63	div.sectionbody {
	64	margin-left: 0;
65	}
66
67	hr {
68	border: 1px solid silver;
69	}
70
71	p {
72	margin-top: 0.5em;
73	margin-bottom: 0.5em;
74	}
75
76	ul, ol, li > p {
77	margin-top: 0;
78	}
79	ul > li { color: #aaa; }
80	ul > li > * { color: black; }
81
82	.monospaced, code, pre {
83	font-family: "Courier New", Courier, monospace;
84	font-size: inherit;
85	color: navy;
86	padding: 0;
87	margin: 0;
88	}
89	pre {
90	white-space: pre-wrap;
91	}
92
93	#author {
94	color: #527bbd;
95	font-weight: bold;
96	font-size: 1.1em;
97	}
98	#email {
99	}
100	#revnumber, #revdate, #revremark {
101	}
102
103	#footer {
104	font-size: small;
105	border-top: 2px solid silver;
106	padding-top: 0.5em;
107	margin-top: 4.0em;
108	}
109	#footer-text {
110	float: left;
111	padding-bottom: 0.5em;
112	}
113	#footer-badges {
114	float: right;
115	padding-bottom: 0.5em;
116	}
117
118	#preamble {
119	margin-top: 1.5em;
120	margin-bottom: 1.5em;
121	}
122	div.imageblock, div.exampleblock, div.verseblock,
123	div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
124	div.admonitionblock {
125	margin-top: 1.0em;
126	margin-bottom: 1.5em;
127	}
128	div.admonitionblock {
129	margin-top: 2.0em;
130	margin-bottom: 2.0em;
131	margin-right: 10%;
132	color: #606060;
133	}
134
135	div.content { /* Block element content. */
136	padding: 0;
137	}
138
139	/* Block element titles. */
140	div.title, caption.title {
141	color: #527bbd;
142	font-weight: bold;
143	text-align: left;
144	margin-top: 1.0em;
145	margin-bottom: 0.5em;
146	}
147	div.title + * {
148	margin-top: 0;
149	}
150
151	td div.title:first-child {
152	margin-top: 0.0em;
153	}
154	div.content div.title:first-child {
155	margin-top: 0.0em;
156	}
157	div.content + div.title {
158	margin-top: 0.0em;
159	}
160
161	div.sidebarblock > div.content {
162	background: #ffffee;
163	border: 1px solid #dddddd;
164	border-left: 4px solid #f0f0f0;
165	padding: 0.5em;
166	}
167
168	div.listingblock > div.content {
169	border: 1px solid #dddddd;
170	border-left: 5px solid #f0f0f0;
171	background: #f8f8f8;
172	padding: 0.5em;
173	}
174
175	div.quoteblock, div.verseblock {
176	padding-left: 1.0em;
177	margin-left: 1.0em;
178	margin-right: 10%;
179	border-left: 5px solid #f0f0f0;
180	color: #888;
181	}
182
183	div.quoteblock > div.attribution {
184	padding-top: 0.5em;
185	text-align: right;
186	}
187
188	div.verseblock > pre.content {
189	font-family: inherit;
190	font-size: inherit;
191	}
192	div.verseblock > div.attribution {
193	padding-top: 0.75em;
194	text-align: left;
195	}
196	/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
197	div.verseblock + div.attribution {
198	text-align: left;
199	}
200
201	div.admonitionblock .icon {
202	vertical-align: top;
203	font-size: 1.1em;
204	font-weight: bold;
205	text-decoration: underline;
206	color: #527bbd;
207	padding-right: 0.5em;
208	}
209	div.admonitionblock td.content {
210	padding-left: 0.5em;
211	border-left: 3px solid #dddddd;
212	}
213
214	div.exampleblock > div.content {
215	border-left: 3px solid #dddddd;
216	padding-left: 0.5em;
217	}
218
219	div.imageblock div.content { padding-left: 0; }
220	span.image img { border-style: none; vertical-align: text-bottom; }
221	a.image:visited { color: white; }
222
223	dl {
224	margin-top: 0.8em;
225	margin-bottom: 0.8em;
226	}
227	dt {
228	margin-top: 0.5em;
229	margin-bottom: 0;
230	font-style: normal;
231	color: navy;
232	}
233	dd > *:first-child {
234	margin-top: 0.1em;
235	}
236
237	ul, ol {
238	list-style-position: outside;
239	}
240	ol.arabic {
241	list-style-type: decimal;
242	}
243	ol.loweralpha {
244	list-style-type: lower-alpha;
245	}
246	ol.upperalpha {
247	list-style-type: upper-alpha;
248	}
249	ol.lowerroman {
250	list-style-type: lower-roman;
251	}
252	ol.upperroman {
253	list-style-type: upper-roman;
254	}
255
256	div.compact ul, div.compact ol,
257	div.compact p, div.compact p,
258	div.compact div, div.compact div {
259	margin-top: 0.1em;
260	margin-bottom: 0.1em;
261	}
262
263	tfoot {
264	font-weight: bold;
265	}
266	td > div.verse {
267	white-space: pre;
268	}
269
270	div.hdlist {
271	margin-top: 0.8em;
272	margin-bottom: 0.8em;
273	}
274	div.hdlist tr {
275	padding-bottom: 15px;
276	}
277	dt.hdlist1.strong, td.hdlist1.strong {
278	font-weight: bold;
279	}
280	td.hdlist1 {
281	vertical-align: top;
282	font-style: normal;
283	padding-right: 0.8em;
284	color: navy;
285	}
286	td.hdlist2 {
287	vertical-align: top;
288	}
289	div.hdlist.compact tr {
290	margin: 0;
291	padding-bottom: 0;
292	}
293
294	.comment {
295	background: yellow;
296	}
297
298	.footnote, .footnoteref {
299	font-size: 0.8em;
300	}
301
302	span.footnote, span.footnoteref {
303	vertical-align: super;
304	}
305
306	#footnotes {
307	margin: 20px 0 20px 0;
308	padding: 7px 0 0 0;
309	}
310
311	#footnotes div.footnote {
312	margin: 0 0 5px 0;
313	}
314
315	#footnotes hr {
316	border: none;
317	border-top: 1px solid silver;
318	height: 1px;
319	text-align: left;
320	margin-left: 0;
321	width: 20%;
322	min-width: 100px;
323	}
324
325	div.colist td {
326	padding-right: 0.5em;
327	padding-bottom: 0.3em;
328	vertical-align: top;
329	}
330	div.colist td img {
331	margin-top: 0.3em;
332	}
333
334	@media print {
335	#footer-badges { display: none; }
336	}
337
338	#toc {
339	margin-bottom: 2.5em;
340	}
341
342	#toctitle {
343	color: #527bbd;
344	font-size: 1.1em;
345	font-weight: bold;
346	margin-top: 1.0em;
347	margin-bottom: 0.1em;
348	}
349
350	div.toclevel0, div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
351	margin-top: 0;
352	margin-bottom: 0;
353	}
354	div.toclevel2 {
355	margin-left: 2em;
356	font-size: 0.9em;
357	}
358	div.toclevel3 {
359	margin-left: 4em;
360	font-size: 0.9em;
361	}
362	div.toclevel4 {
363	margin-left: 6em;
364	font-size: 0.9em;
365	}
366
367	span.aqua { color: aqua; }
368	span.black { color: black; }
369	span.blue { color: blue; }
370	span.fuchsia { color: fuchsia; }
371	span.gray { color: gray; }
372	span.green { color: green; }
373	span.lime { color: lime; }
374	span.maroon { color: maroon; }
375	span.navy { color: navy; }
376	span.olive { color: olive; }
377	span.purple { color: purple; }
378	span.red { color: red; }
379	span.silver { color: silver; }
380	span.teal { color: teal; }
381	span.white { color: white; }
382	span.yellow { color: yellow; }
383
384	span.aqua-background { background: aqua; }
385	span.black-background { background: black; }
386	span.blue-background { background: blue; }
387	span.fuchsia-background { background: fuchsia; }
388	span.gray-background { background: gray; }
389	span.green-background { background: green; }
390	span.lime-background { background: lime; }
391	span.maroon-background { background: maroon; }
392	span.navy-background { background: navy; }
393	span.olive-background { background: olive; }
394	span.purple-background { background: purple; }
395	span.red-background { background: red; }
396	span.silver-background { background: silver; }
397	span.teal-background { background: teal; }
398	span.white-background { background: white; }
399	span.yellow-background { background: yellow; }
400
401	span.big { font-size: 2em; }
402	span.small { font-size: 0.6em; }
403
404	span.underline { text-decoration: underline; }
405	span.overline { text-decoration: overline; }
406	span.line-through { text-decoration: line-through; }
407
408	div.unbreakable { page-break-inside: avoid; }
409
410
411	/*
412	* xhtml11 specific
413	*
414	* */
415
416	div.tableblock {
417	margin-top: 1.0em;
418	margin-bottom: 1.5em;
419	}
420	div.tableblock > table {
421	border: 3px solid #527bbd;
422	}
423	thead, p.table.header {
424	font-weight: bold;
425	color: #527bbd;
426	}
427	p.table {
428	margin-top: 0;
429	}
430	/* Because the table frame attribute is overriden by CSS in most browsers. */
431	div.tableblock > table[frame="void"] {
432	border-style: none;
433	}
434	div.tableblock > table[frame="hsides"] {
435	border-left-style: none;
436	border-right-style: none;
437	}
438	div.tableblock > table[frame="vsides"] {
439	border-top-style: none;
440	border-bottom-style: none;
441	}
442
443
444	/*
445	* html5 specific
446	*
447	* */
448
449	table.tableblock {
450	margin-top: 1.0em;
451	margin-bottom: 1.5em;
452	}
453	thead, p.tableblock.header {
454	font-weight: bold;
455	color: #527bbd;
456	}
457	p.tableblock {
458	margin-top: 0;
459	}
460	table.tableblock {
461	border-width: 3px;
462	border-spacing: 0px;
463	border-style: solid;
464	border-color: #527bbd;
465	border-collapse: collapse;
466	}
467	th.tableblock, td.tableblock {
468	border-width: 1px;
469	padding: 4px;
470	border-style: solid;
471	border-color: #527bbd;
472	}
473
474	table.tableblock.frame-topbot {
475	border-left-style: hidden;
476	border-right-style: hidden;
477	}
478	table.tableblock.frame-sides {
479	border-top-style: hidden;
480	border-bottom-style: hidden;
481	}
482	table.tableblock.frame-none {
483	border-style: hidden;
484	}
485
486	th.tableblock.halign-left, td.tableblock.halign-left {
487	text-align: left;
488	}
489	th.tableblock.halign-center, td.tableblock.halign-center {
490	text-align: center;
491	}
492	th.tableblock.halign-right, td.tableblock.halign-right {
493	text-align: right;
494	}
495
496	th.tableblock.valign-top, td.tableblock.valign-top {
497	vertical-align: top;
498	}
499	th.tableblock.valign-middle, td.tableblock.valign-middle {
500	vertical-align: middle;
501	}
502	th.tableblock.valign-bottom, td.tableblock.valign-bottom {
503	vertical-align: bottom;
504	}
505
506
507	/*
508	* manpage specific
509	*
510	* */
511
512	body.manpage h1 {
513	padding-top: 0.5em;
514	padding-bottom: 0.5em;
515	border-top: 2px solid silver;
516	border-bottom: 2px solid silver;
517	}
518	body.manpage h2 {
519	border-style: none;
520	}
521	body.manpage div.sectionbody {
522	margin-left: 3em;
523	}
524
525	@media print {
526	body.manpage div#toc { display: none; }
527	}