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

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

ul {
	position : relative;
}

div {
	margin : 0;
	padding : 0;
}

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

div#menu {
	background-color : #800000;
	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 : #a00000;
	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 #ff0000;
	margin : 20px;
	padding : 10px;
	background-color : #900000;
}

h1 {
	text-align : center;
}

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

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

a {
	color : yellow;
}

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