/* mozilla.org Markup CSS */
/* mozilla.org Base Stylesheet
 *
 * written by fantasai and Henri Sivonen
 *
 * No colors*, only generic 'font-family'
 * Nothing fancy--this is a base stylesheet similar in use to html.css in Mozilla
 * * there's one exception: strong.very-strong
 *
 * Suggested order:
 * display
 * position
 * float
 * clear
 * width
 * height
 * margin
 * padding
 * border
 * background
 * color
 * font-size
 * font-style
 * font-weight
 * font-family
 * other font
 * text-decoration
 * text-align
 * vertical-align
 * white-space
 * other text
 * content
 * 
 */
 
 
/* Template Styles */

.page {
	padding: 0 3%;
	margin: 0 3%;
}

.maintainer {
	text-align: center;
}

.docinfo {
	text-align: center;
	padding: .5em;
	margin: .2em;
	font-size: smaller;
}

@media print {
	* {
		background: white !important;
		color: black !important;
	}
	body {
		margin: 0;
	}
	.menubar {
		display: none;
	}
	a[href]:after {
		content: '<' attr(href) '>';
	}
}

 

/* TOC:
   Random HTML Styles
   General Structure
   Comments and Other Asides
   Emphasis
   Computers - General
   Code
   Examples and Figures
   Meta
   Navigation
   Live Content
   Presentational
*/
/* Random HTML Styles */
	
	dt {
		font-weight: bold;
	}

	.section tt { /* Disable <tt> so people don't use it. */
		font-family: inherit;
	}

	table {
		margin: 1em auto;
	}

	th, td {
		padding: 0.2em;
	}

	fieldset {
		margin: 1em;
		padding: 1em .5em;
	}
	legend {
		font-size: larger;
		font-weight: bold;
	}

	label {
		font-size: 0.9em;
		font-weight: bold;
		vertical-align: top;
	}

/* General Structure */

	h1 {
		text-align: center;
	}
	/* Setup consistent padding/margin */
	h1, h2, h3, h4, h5, h6 {
		margin-left: 0;
		margin-right: 0;
		padding: 0;
	}
	@media all { /* NS4 can't handle vertical margins */
		h1 {margin:  .81em 0  .67em; padding: 0;}
		h2 {margin: 1.08em 0  .83em; padding: 0;}
		h3 {margin: 1.30em 0 1.00em; padding: 0;}
		h4 {margin: 1.73em 0 1.33em; padding: 0;}
		h5 {margin: 2.17em 0 1.67em; padding: 0;}
		h6 {margin: 3.00em 0 2.33em; padding: 0;}
	}
	/* Setup consistent font size (NS4 needs fonts re-set) */
	h1 {font-size: 2.00em; font-weight: bold;}
	h2 {font-size: 1.50em; font-weight: bold;}
	h3 {font-size: 1.17em; font-weight: bold;}
	h4 {font-size: 1.00em; font-weight: bold;}
	h5 {font-size: 0.83em; font-weight: bold;}
	h6 {font-size: 0.67em; font-weight: bold;}

	.subtitle {
		font-style: italic;
	}

	p, div.para {
		margin: 1em 0;
	}
	div.para > * {
		margin-top: 0.2em;
		margin-bottom: 0.2em;
	}

	div.sect,
	div.section {
		display: block;
		padding-start: 3%;
	}
	div.sect {
		counter-reset: sect;
	}
	div.section:before {
		content: counters(sect,'.');
		counter-increment: sect;
	}

/* Comments and other Asides */

	.important {
		display: block;
		margin: 0.1em;
		padding: 1em;
		border: solid #F00;
		font-size: larger;
	}

	.note {
		font-style: italic;
	}
	/* .note:before {content: "Note: ";} */

	.remark {
		font-size: smaller;
	}
	.remark:before {
		content: "[";
	}
	.remark:after {
		content: "]";
	}

	.sidebar {
		clear: both;
		margin: .75em .5em;
		padding: .2em;
		border: outset thin;
	}
	.sidebar { /* Block NS4 from floating */
		float: right;
		width: 30%;
		min-width: 15em;
		-moz-border-radius: 0;
	}
	/* Reduce main header sizes */
	.sidebar h1 {font-size: 1.40em;}
	.sidebar h2 {font-size: 1.25em;}
	.sidebar h3 {font-size: 1.10em;}

/* Emphasis */

	/* em, strong */
	
	strong.stronger {
	    font-style: italic;
	    font-weight: bold;
	}
	
	strong.very-strong {
	    background: #FFF;
	    color: #F00;
	    font-style: italic;
	    font-weight: bold;
	    /* Styles can just specify background: transparent
	       if red works on their background or specify
	       another set of colors */
	}

/* Computers - General */

	span.application {
		font-style: italic;
	}

	kbd.command,
	span.command {
		font-family: monospace;
		white-space: pre;
	}

	span.filename {
		font-style: italic;
		font-family: monospace;
	}

	span.productnumber {
		font-size: 90%;
		font-family: monospace;
	}

/* Code */

	code {
		white-space: nowrap;
	}

	pre.programlisting {
		display: table;
		margin: 1em 0.5em;
		padding: .2em;
		border: solid 1px;
		font-family: monospace;
		white-space: pre;
	}

	pre.programlisting .remark {
		font-size: 1em;
		font-style: italic;
	}
	pre.programlisting .remark:before,
	pre.programlisting .remark:after {
		content: "";
	}

/* Examples and Figures */

	img {
		border: none;
		-moz-border-radius: 0; /* Block NS4 from border rule */
	}

	.example {
		margin: 1em 3%;
		padding: .25em;
		border-start-style: solid;
	}
	.figure,
	.screenshot {
		display: block;
		margin: .75em auto;
	}

	.screenshot[title]:after,
	.figure[title]:after {
		display: block;
		margin: 0 8% .05em;
		font-style: italic;
		font-size: small;
		text-align: right;
		content: attr(title);
	}

	pre.screen {
		display: table;
		margin: 1em .5em;
		padding: .2em;
		font-family: monospace;
		white-space: pre;
	}
	.screenshot {
		display: block;
		margin: 1em auto;
	}

	.co {
		text-decoration: underline;
	}
	.callout {
		text-decoration: underline overline;
	}

/* Meta */

	.author {
		text-align: center;
	}

/* Navigation */

	.cross-ref,
	.ex-ref {
		font-style: italic;
	}

	dl.toc dt {
		font-size: 110%;
	}
	ol.toc > li > ol {
		font-size: 90%;
	}

	ul.snav {/* section navigation or short navigation, whichever you prefer */
		margin: 0.7em 10%;
		padding: .2em;
		text-align: center;
	}
	ul.snav > li {
		display: inline;
	}
	ul.snav > li:before {
		content: " | ";
	}
	ul.snav > li:first-child:before {
		content: "";
	}

/* Live Content */

	dl.tasklist > dt {
		font-size: larger;
	}

/* Any stylesheet that imports this and defines any background/text colors must also specify
   .text1 {color: <a complimentary text color>}
   .text2 {color: <another complimentary text color>}
   .shaded {color: <a background color slightly offset from the main background color>}
*/