@charset "utf-8";
/* CSS Document */

/*************************
 * 1. Base style
 *************************/
form, input {display: inline;}


/*************************
 * 2. General Purpose classes (can appear anywhere)
 *************************/

/*************************
 * 2.1. General Purpose, Themable - can change colours/styles/etc to give different "theme"
 *******/

.synopsis {font-weight: bold;}

.output, .command, .filename {font-family: monospace; font-size: 11pt;}
.command {
	background: #D5EAFF;
}
pre.filename {
	width: 90%;
	padding: 0.25em;
	margin-left: 3em;
}
pre.command {
	border: 1px solid #000000;
	width: 90%;
	padding: 0.5em;
	margin-left: 3em;
}
pre.output {border: #000000; background: #CCCCCC;}

.var {color: #0000FF}
.key {color: #009999}


/*************************
 * 2.2. General Purpose, Non-themable - The names imply the presentation.
 * 
 * These styles are used when the HTML page developer wants a certain formatting,
 * so they shouldn't really change.
 ********/

/** Spacing **/

ul.padded li, li.padded, .padded {
	padding: 0.5em;
}

ul.spaced li,
ol.spaced li {
	margin-top: 1em;
	margin-bottom: 1em;
}

ul.halfspaced li,
ol.halfspaced li {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

ul.tight li,
ol.tight li {
	margin-top: 0em;
	margin-bottom: 0em;
}

dl.spaced dt {
	margin-top: 1em;
}

ol.alpha > li,
ol.alpha,
/*.post .text ol.alpha li,
.post .text ul ol.alpha li,*/
.post .text ol.alpha > li,
ol.fooooobar
{
	list-style:lower-alpha;
}