html,body,span {margin:0;padding:0;}
img{border:0;padding:0;margin:0;}
html,body {
	background: #00007F;
	color: #ffffff;
	font-family: sans-serif;
	font-size: 10pt;
}

div#all{
	padding: 8px 8px 8px 8px;
}

div#dosbox {
	background-color: #000000;
	padding: 8px 8px 8px 8px;
	margin-top: 8px;
	margin-left: auto;
	margin-right: auto;
	width: 640px;
	height: 400px;
	overflow:hidden;
}
a:link,a:visited,a:active,a:hover{
	font-family: sans-serif;
	font-size: 10pt;
	color: #7F7F7F;
	text-decoration: none;
}