body {
	font-family: verdana, sans-serif;
	font-size: .8em;
	margin: 0 auto;
	padding: 0;
	width: 90%;
}

a:link, a:visited, a:active {
	color: blue;
}

h2 {
	margin: 0;
}

div.para {
	margin-bottom: 1em;
}

div.terminal {
	background: #dfdfff;
	font-family: lucida console, monospace;
	margin: 0 0 1em 2em;
	padding: 0 0 0 1em;
	white-space: pre;
}

span.em {
	font-weight: bold;
}

span.command {
	font-family: lucida console, monospace;
	font-weight: bold;
}

span.green {
	color: #007700;
	font-weight: bold;
}

span.orange {
	color: #ff6600;
	font-weight: bold;
}

ul {
	margin-top: 0;
}