html {
	background-color: white;
	color: black;
	font-family: "Bitstream Vera Sans", Verdana, sans-serif;
}

h1, h4 {
	font-family: Impact, sans-serif;
	color: #a9a9a9;
}

h1 {
	padding-top: 10%;
}

h4 {
	text-align: right;
}

dt {
	padding-left: 3em;
	font-weight: bold;
}

dd {
	padding-left: 1em;
	padding-bottom: 0.5em;
}

pre {
	background: #eeeeee;
	margin-left: 3em;
}