body, h1, h2, h3, h4, h5 {
	color: black;
	background-color: white;
}
ol.toc {
	list-style: none;
	padding-left: 16pt;
}
p, dl, ul, h5 {
	margin-left: 16pt;
}
table {
	margin-left: 32pt;
}
p.image {
	text-align: center;
}
p.version {
	padding-top: 1em;
	margin-left: 0pt;
	font-size: 50%;
	text-align: right;
}
dt.toc {
	font-size: 150%;
	font-weight: bold;
}
dd {
	margin-left: 16pt;
	margin-bottom: 0.5em;
}
div.commandline, pre {
	font-family: monospace;
	margin-left: 32pt;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}
p.todo {
	background-color: white;
	color: red;
}
a.internal, a.external:visited {
	color: #000080;
	background-color: white;
}
a.external:link {
	color: #0000FF;
	background-color: white;
}
a.external:active {
	color: #8080FF;
	background-color: white;
}

th {
	text-align: left;
}
