body {
	background-color: #141414;
	color: white;
	font: 'DejaVuSansMono';
}

table {
	border: 1px solid white;
}

td {
	vertical-align: top;
}

#id_pre_intro {
	font-family: 'DejaVuSansMono';	
}

a {
	color: rgb(51, 153, 255);
}