div {
	display: block;
	width: 60%;
	margin-left: auto;
	margin-right: auto;
}

div.BannerTitle {
	background: url('./bannerback.png') repeat-x #ff1919;
	height: 50px;
	border: #ff1919 1px solid;
	padding-bottom: 20px;
	text-align: center;
	font-size: 48px;
	font-family: verdana, arial, sans-serif;
	font-weight: bold;
	color: #FFFFFF;
}

div.ConsoleCenter {
	background: #000000;
	border: #A5A5A5 1px solid;
	border-top-width: 0px;
	font-size: small;
	font-family: Courier New, Courier, monospace;
	text-align: left;
/*	padding-top: auto; /* apparently not valid CSS and doesn't work anyway */
	color: #FFFFFF;
}

span.CCenterHead {
	text-align: center;
	font-size: large;
	font-family: Verdana, Arial, sans-serif;
	margin-left: auto;
	margin-right: auto;
}

div.commands {
	padding-top: 6px;
	padding-bottom: 6px;
	font-family: Courier New, Courier, monospace;
	font-size: small;
	background: #000000;
	color: #006600;
	border: #A5A5A5 1px solid;
}

div.commands a {
	display: block;
	margin-right: auto;
	background: #000000;
	color: #00A000;
	cursor: default;
	text-decoration: none;
}

div.commands a:hover {
	display: block;
	background: #000063;
	cursor: default;
}
	
body {
	background: #4A4A4A;
}