body {
	background-color: #E5E5E5;
	color: #000000;
	margin: 0px;
	padding: 0px;
	font-family: Serif Sans-serif monospace;
	font-size: 12px;
}

div.top_level {
	width: auto;
	height: 100%;
}

div.menu_bar {
	border: 1px solid #000000;
	width: 10%;
	height: auto;
	margin: 5px;
	padding: 2px;
	background-color: #FFFFFF;
	color: #000000;
}

div.main {
	position: absolute;
	top: 2px;
	left: 12%;
}

div.large_logo {
	width: 50%;
	height: 50%;
	top: 50%;
	margin-left: auto;
	margin-right: auto;
}