body {
	font-family: Georgia, 'DejaVu Serif', 'Bitstream Vera Serif', "Times New Roman", Times, serif;
	color: #000000;
	background-color: #FFFFFF;
}
h1 {
	font-family: 'Trebuchet MS', Verdana, 'DejaVu Sans', 'Bitstream Vera Sans', Arial, Helvetica, sans-serif;
}
code, tt {
	font-family: Consolas, 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Lucida Console', 'Monaco', "Courier New", Courier, mono;
}