@font-face { font-family: "IBM VGA 8x16"; src: url("IBM_VGA_8x16.woff") format('woff'); }
body {
	background-color: #000000;
	color: #999999;
	font-size: 16px;
	font-family: "IBM VGA 8x16";
	line-height: 16px;
	width: 1000px
}

a {
	color: #128d64;
	text-decoration: underline;
}