body {

	color:			rgb(200,200,200);
}

a {
	color:			rgb(230,230,230);
	text-decoration:	none;
}

div#content {
	background:		rgb(106, 123, 142);
	border:			1px solid;
	border-color:		black;
	margin:			1em;
	width:			80%;
	margin:			auto;
	padding-top:		2em;
	padding-left:		1em;
	padding-right:		1em;
}

pre.example {
	overflow:	auto;
	background:	rgb(230,230,230);
	border:		solid;
	border-color:	black;
	border-width:	thin;
	color:		black;
}

pre.code {
	overflow:	auto;
	padding:	1em;
	border:		solid;
	border-width:	thin;
	background:	rgb(230, 230, 230);
	color:		black;
}

span.command {
	font-family:	monospace;
}

