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;
}

div#news-frame {
	float : right;
	width : 25%;
	padding : 10px;
	background-color : #000040;
}

div#news {
	width : 100%;
	font-size : 90%;
	background-color : #0000a0;
	border : 1px solid #0000ff;
	padding : 5px;
}

div#news h2 {
	font-size : 100%;
	margin-top : 0px;
}

div#news div {
	margin-top : 1ex;
}

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;
}

table.status {
	width : 80%;
	margin-bottom : 1ex;
	margin-left : auto;
	margin-right : auto;
}

table.status tr.caption {
	font-weight : bold;
}

table.status tr.caption td {
	padding-top : 1ex;
}

table.status tr td.progress {
	width : 20px;
}

table.status tr.done td.progress {
	background-color : #00ff00;
}

table.status tr.inprogress td.progress {
	background-color : #ff00ff;
}

table.status tr.none td.progress {
	background-color : #ff0000;
}