html,body {
	background: #ffffff;
	color: #000000;
	font-family: sans-serif;
	font-size: small;
	margin: 0;
	padding: 0;
}

/* Contains the entire of the page */
#container {
	padding: 0px;
}

/* Contains the menu */
#menu {
	float: left;
	position: absolute;
	top: 0px;
	left: 0px;
	width: 150px;
	background: #eeeeFF;
	color: #000000;
	border-right: 1px solid #000066;
	border-bottom: 1px solid #000066;
}
#menu .cornerlogo {
	margin: -3px;
	margin-bottom: 1px;
}
#menu .heading {
	background: #000066;
	color: #ffffff;
	margin: 0px;
	padding: 3px;
}
#menu p {
	margin: 5px;
	padding: 5px 0 5px 0;
	text-align: center;
}
#menu .logo {
	margin: 0;
	text-align: center;
}

/* Contains the main page - including header and footer */
#main {
	margin-left: 151px;
	padding: 0px;
	position: relative;
}

/* Contains the header */
#header {
	padding: 0px;
	display: none;
}

/* Contains the footer */
#footer {
	padding: 60px 0 5px 0;
}
#footer p {
	text-align: center;
	font-size: x-small;
}

/* Contains the body text of the page */
#contents {
	padding: 0 15px 0 15px;
}
#contents .top {
	margin-top: 0px;
}
#contents h1 {
	padding: 5px;
	margin: 30px -15px 20px -15px;
	background: #eeeeff;
	border-bottom: 5px solid #000066;
	color: #000066;
	text-align: right;
}
#contents h2 {
	padding: 4px;
	margin: 20px -10px 20px -10px;
	background: #eeeeff;
	color: #000000;
	border-bottom: 2px solid #000066;
}
#contents h3 {
	padding-top: 5px;
	margin: 10px -5px 10px -5px;
	border-bottom: 1px solid #000066;
}
#contents pre {
	border-left: 2px solid #ff0000;
	margin-left: 5px;
	padding-left: 5px;
	background: #f0f0f0;
	color: #000000;
	font-size: larger;
}
#topnav {
	margin: -15px -10px 0 0;
	padding: 0px;
	text-align: right;
	background: transparent;
	color: #000000;
}
#topnav ul {
	padding-left: 0;
	margin-left: 0;
	display: inline;
}
#topnav li {
	padding: 3px;
	list-style: none;
	display: inline;
}

/* All images have no border */
img {
	border: 0;
}

/* For when we want to hide something to CSS browsers */
.invisible {
	display: none;
}