@charset "UTF-8";

html {
	color: black;
	background: white;
	font-family: Vera Sans, Bitstream Vera Sans, FreeSans, sans-serif;
	margin: 1em;
}

h1, h2, h3, h4, h5, dt {
	font-family: Vera Sans, Bitstream Vera Sans, FreeSerif, sans-serif;
	color: #247;
	font-weight: bold;
	line-height: 141%;
}