@font-face {
	font-family: 'crimsonpro';
	src: url('/crimsonpro.woff') format('woff');
}

body {
	color: black;
	background-color: white;
	font-family: crimsonpro, serif;
}

pre, tt {
	color: rgb(64,64,64);
	background-color: white;
	font-family: monospace;
}