body {
	background: #aab;
	font-family: sans-serif;
	font-size: 14px;
	width: 70%;
}
pre {
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 10px;
	border: 1px solid #888;
	background: #ccd;
}
table {
	border: 1px solid #888;
	background: #ccd;
}
table th {
	padding-left: 5px;
	padding-right: 5px;
	font-size: 14px;
	border-bottom: 1px solid #888;
}
table td {
	padding-left: 5px;
	padding-right: 5px;
	font-family: monospace;
	font-size: 14px;
}
dl {
	padding-left: 20px;
}
dt {
	font-weight: bold;
}