body {
	width: 800px;
	border: 1px solid #000;
	/*	
	border-left: 1px solid #000;
	border-right: 1px solid #000;
	border-bottom: 1px solid #000;
	*/
	margin-top: 0px;
	margin-bottom: 0px;
	margin: auto;
	font-family: sans-serif;
	font-size: 10pt;
}

body > h1, body > h2 {
	font-family: serif;
}

body > h1 {
	margin-left: 20px;
	margin-right: 20px;
}

body > h2 {
	margin-left: 25px;
	margin-right: 25px;
}

h4 {
	font-size: 1.1em;
}

div#navigation {
	width: 100%;
	border-bottom: 1px solid #000080;
	background-color: #eee;
/*	background-image: url(./favicon.png);
	background-repeat: no-repeat;
	background-position: 1px 1px;*/
	padding-top: 0.2em;
/*	padding-top: 3px; /* borders of contained h3's */
	padding-bottom: 3px; /* borders of contained h3's */
	text-align: center;
}

div#navigation h3 {
	display: inline;
	margin: 0em 1em;
/*	padding: 0em 0.2em;*/
/*	border-top: 3px solid #000080;*/
	border-bottom: 3px solid #000080;
	color: #000080;
/*	background-color: #000080;
	color: #eee;*/
}

div#navigation h3:hover {
/*	background-color: #fff;*/
/*	border-top: 3px solid #8B0000;*/
	border-bottom: 3px solid #8B0000;
	color: #8B0000;
/*	background-color: #8B0000;
	color: #eee;*/
}

div#navigation h3 a {
	margin: 0px;
	text-decoration: none;
	color: #000080;
/*	color: #eee;*/
}

div#navigation h3:hover a {
	color: #8B0000;
/*	background-color: #8B0000;*/
}

div#content {
	padding: 1em;
}

p a, ul a {
	color: #B22222;
}

div#logo {
	text-align: center;
}

div#logo img {
	width: 550px;
}

p.teaser {
	font-size: 14pt;
	font-style: italic;
}

/* team.xml */

table.teammember {
	width: 740px;
	border-top: 1px solid #eee;
	border-bottom: 1px solid #eee;
	margin: 20px;
}

table.teammember td.photo {
	float: left;
}

table.teammember td.info {
	text-align: right;
}

table.teammember td.info .name {
	font-size: 14pt;
}

/* status.xml */

table.objective_status {
	border: 1px solid #8B0000;
	font-size: 0.8em;
	width: 100%;
}

table.objective_status th {
	background-color: #eee;
	border: 1px solid #8B0000;
}

table.objective_status th.objective {
/*	width: 40%;*/
}

table.objective_status th.status {
	width: 400px;
}

/* code.xml */

div.document, div#code {
	margin-bottom: 1em;
}

div.document h3, div#code h3 {
	margin-top: 0em;
	border-bottom: 1px solid #000080;
	background-color: #eee;
}

div.document p, div#code p {
}

div#code .references {
	margin-top: 0.4em;
	margin-bottom: 0.4em;
	font-size: 0.7em;
}

div#code .deps {
	margin-top: 0em;
	margin-bottom: 0em;
	font-size: 0.8em;
}

/* footers */

p#buttons, p#credits {
	margin: 0px;
	background-color: #eee;
	border-top: 1px solid #000080;
	padding: 1em;
	color: #aaa;
	font-size: 9pt;
}

p#buttons {
	height: 36px; /* 31px contained image height + 8 px padding - some magic pixels -.- */
	padding: 4px 1em;
}

p#buttons a {
	text-decoration: none;
}

p#buttons img {
	float: left;
	margin: 0px;
	margin-right: 1em;
	border: 0px;
}