body {
	color: #f8f8f8;
	background: #111;
	font-family: monospace;
}

a {
	color: #1ad;
	text-decoration: none;
}

a:focus,
a:hover {
	text-decoration: underline;
}

table td {
	padding: 0 0.4em;
}

#content table td {
	vertical-align: top;
}

td.num {
	text-align: right;
}

hr {
	border: 0;
	border-top: 1px solid #555;
	height: 1px;
}

.A,
.i {
	color: #1e1;
}

.D,
.d {
	color: #f11;
}

pre {
	padding: 9.5px;
	margin: 0px 0px 10px;
	font-size: 13px;
	line-height: 1.5;
	white-space: pre-wrap;
	overflow-wrap: anywhere;
	border: 1px solid #333;
}