body {
	font-family: Helvetica,Arial,sans-serif;
	font-size: 12pt;
	/*width: 45em;*/
}

*.maintitle {
	font-weight:bold;
	font-size: 1.5em;
}

*.secttitle {
	padding-top: 1.5em;
	font-weight:bold;
	font-size: 1.25em;
}

*.smallfont {
	font-size: 0.7em;
}

*.command {
	font-family: Courier,Courier New,monospace; 
	font-weight:bold;
}

*.file {
	font-family: Courier,Courier New,monospace; 
}

*.singleborder {
	border: #000,solid,2px;
	border-color: #222;
	border-style: solid;
	border-width: 1px;
	margin: 1em;
	padding: 1em;
}

pre.screen {
	font-family: Courier, Courier New, monospace;
	font-size: 10pt;
	background-color: #dddddd;
	border: #000,solid,2px;
	border-color: #222;
	border-style: solid;
	border-width: 1px;
	margin: 1em;
	padding: 1em;
}