@font-face {
	font-family: 'VGA8';
	src: url('/font/ibm_vga8.eot');
	src: url('/font/ibm_vga8.eot?#iefix') format('embedded-opentype'),
	url('/font/ibm_vga8.woff') format('woff'),
	url('/font/ibm_vga8.ttf') format('truetype');
}

body, pre {
	cursor: default;
	font-family: VGA8;
	font-size: 16px;
	background-color: black;
	/*text-decoration: none;*/
	color: #3399FF;
}

a:link, a:visited, a:hover, a:active {
	cursor: pointer;
	text-decoration: none;
	color: #3399FF;
}

hidn {
	cursor: default;
}
undr {
	text-decoration: underline;
}
hvr {
	position: fixed;
	bottom: 0;
	left: 0;
	color: #3399FF;
	opacity: 0;
}
hvr:hover, hvr:active {
	opacity: 1;
}