h1, h2, a {
	font-family: sans-serif;
}
ul {
	list-style-type: none;
}
pre, tt {
	color: #0000bb;
	font-family: Monaco;
	font-size: smaller;
}
pre {
	padding-left: 32px;
	padding-right: 32px;
}
td {
	vertical-align: top;
}
b {
	font-size: larger;
	color: #bb00bb;
}
.comment {
	color: #007700;
}