body, div, p, ul, li {
	font-family : Verdana, Helvetica, sans-serif;
	color : #00ff00;
}

body {
	text-align : center;
	margin : 10px auto 10px auto;
	background-color : #101020;
}

ul {
	position : relative;
}

div {
	margin : 0;
	padding : 0;
}

div#content {
	background : #000040;
	border : 1px solid #0000ff;
	margin : 0 auto 0 auto;
	text-align : left;
	width : 80%;
}

div#menu {
	background-color : #000080;
	border-top : 1px solid yellow;
	border-bottom : 1px solid yellow;
	color: yellow;
	font-weight : bold;
	font-size : smaller;
}

div#menu ul {
	margin : 0;
	padding : 0;
	background : #000000;
	list-style : none;
}

div#menu ul li {
	background : #0000a0;
	display : inline;
	padding : 0 20px 0 20px;
	margin : 0 0 0 15px;
	border-right : 1px solid yellow;
	border-left : 1px solid yellow;
}

div#main {
	padding : 10px;
}

pre {
	border : 1px solid #0000ff;
	margin : 20px;
	padding : 10px;
	background-color : #000090;
}

h1 {
	text-align : center;
}

h2 {
	border-bottom : 1px solid #0000ff;
}

div#menu a {
	color : yellow;
	text-decoration : none;
}

a {
	color : yellow;
}

div#menu a:hover {
	color : white;
}