@font-face {
	font-family: 'VGA';
	src: url('VGA_9x16.ttf');
}
@font-face {
	font-family: 'VGACompatibility';
	src: url('VGA_9x16.eot');
}
body {
		background-color: black;
		font-family: VGA, VGACompatibility;
		color: rgb(200, 200, 200);
		font-size: 16px;
}
b.title {
	color: white;
}
a {
	color: purple;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
	text-decoration-style: dashed;
}
a.current {
	text-decoration: underline;
	text-decoration-style: solid;
}