@charset "utf-8";
/* CSS Document */

html,body {
	height: 100%;
	background-color: #FFF;
	margin: 0px;
	color: #990000;
	font-size: 12px;
	font-family: Arial, Helvetica, sans-serif;
}.txt {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #000000;
	background-color: #FFFFFF;
	padding: 2px;
	border: 1px solid #990000;
}
.cmd {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #FFFFFF;
	background-color: #990000;
	padding: 2px;
	border: 1px solid #000000;
}
a:link {
	color: #660000;
	text-decoration: underline;
}
a:visited {
	color: #660000;
	text-decoration: underline;
}
a:hover {
	text-decoration: none;
}
a:active {
	color: #FF0000;
}