body {
	width: 80%;
	margin: 0 auto 0 auto;
	color: white;
	background-color: #202020;
	font-family: sans-serif;
	font-size: 0.8em;
}

a {
	color: white;
	border: none;
	text-decoration: none;
}

a:hover {
	color: white;
	text-decoration: underline;
}

img {
	border: none;
}

span.underlined {
	text-decoration: underline;
}

#banner {
	float: left;
	width: 100%;
	padding: 0;
	margin: 20px 0 20px 0;
	background-color: #202020;
}

#page {
	float: left;
}

#sidebar {
	float: left;
}

#content {
	width: 40em;
	margin: 0 auto 0 150px;
	padding: 20px;
	color: white;
	background-color: #2a2a2a;
}

#content h1 {
	clear: right;
	margin: 0 0 0.3em 0;
	border-bottom: 1px dotted gray;
	color: white;
	font-size: 1.0em;
}

#content h2 {
	clear: right;
	margin: 0 0 0.3em 0;
	border-bottom: 1px dotted gray;
	color: white;
	font-size: 1.0em;
}

#content h3 {
	clear: right;
	margin: 0 0 0.3em 0;
	border-bottom: 1px dotted gray;
	color: white;
	font-size: 1.0em;
}

#content a {
	color: gray;
	text-decoration: none;
}

#content a:hover {
	color: #0058d0;
	text-decoration: none;
}

#content a.section {
	color: white;
	text-decoration: none;
}

#content blockquote.quote {
	color: white;
}

#content blockquote.quote-from {
	font-style: italic;
}

#content code {
	font-family: monospace;
}

#content pre {
	margin: 0.5em;
	padding: 0.5em;
	background-color: black;
	color: white;
	font-size: 1.2em;
	white-space: pre;
	overflow: auto;
	border: 2px solid white;
}

#footer {
	clear: both;
	padding: 5px;
	color: gray;
	text-align: center;
	font-size: x-small;
}

div.note {
	clear: right;
	margin: 0.5em;
	padding: 0.5em;
	color: black;
	background-color: #a8ffa8;
	border: 2px solid green;
}

div.warning {
	clear: right;
	margin: 0.5em;
	padding: 0.5em;
	color: black;
	background-color: #ffa8a8;
	border: 2px solid red;
}

div.footnote {
	clear: right;
	margin: 0.6em;
	padding: 0.6em;
	color: white;
	font-size: 0.8em;
	font-weight: normal;
}