body {
	font-family: monospace;
}

a.d,
a.h,
a.i,
a.line {
	text-decoration: none;
}

table td {
	padding: 0 0.4em;
}

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

td.num {
	text-align: right;
}

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

.A,
.i {
	color: #070;
}

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

pre {
	padding: 9.5px;
	margin: 0px 0px 10px;
	font-size: 13px;
	line-height: 1.5;
	overflow: auto;
	border: 1px solid;
}