/** Set better font sizes */
body, th, td {
	font-size: 16px;
}

.nav ul {
	font-size: 13px;
}

/** better font colors */

:link, :visited {
	color: #005d8c;
	border-bottom: 1px dotted #005d8c;
}

:link:hover, :visited:hover {
	color: #005d8c;
	border-bottom: medium none;
}

a.missing:link, a.missing:visited, a.missing, span.missing, a.forbidden, span.forbidden {
	color: #a22;
}

/** New page header */
body {
	margin: 0;
}

#banner {
	background-color: #003d4c;
	padding: 10px;
	color: #fff;
}

#banner a {
	color: #fff;
	border-bottom: 1px solid #bbb;
}

#banner a:hover {
	border-bottom: 1px solid #003d4c;
	background-color: #003d4c;
}

.nav li {
	border-right: medium none;
}

#main {
	margin: 0 30px 0 30px;
}

#banner #proj-search {
	background-color: #001d2c;
	border: medium none;
	font-size: 12px;
	color: #fff;
}

#banner input {
	background-color: #003241;
	border: 1px solid #000;
	font-size: 12px;
	color: #fff;
}

/** mainnav */

#mainnav {
	margin: 0 0 4px 0;
	padding: 0;
	border: 0;
}

#mainnav.nav ul {
	background-color: #005d6c;
	padding: 3px 0;
}

#mainnav :link, #mainnav :visited, #mainnav :link:hover, #mainnav :visited:hover {
	background: none;
	border: medium none;
	color: #fff;
}

#mainnav :link:hover, #mainnav :visited:hover {
	background-color: #003d4c;
}

#mainnav.nav .active :link, #mainnav.nav .active :visited, #mainnav.nav .active :link:hover, #mainnav.nav .active :visited:hover {
	background: none;
	background-color: #003d4c;
	border: medium none;
	color: #fff;
}

/** Context nav */
#ctxtnav li {
	padding: 0 0 0 1.5em;
}

/** Wiki customisations */

.wiki-toc {
	background: none;
	border: 1px solid #aaa;
	padding: 1em 3em;
	font-size: 1em;
}

.wiki-toc h4 {
	font-size: 1em;
}

.wikipage dt {
	font-style: italic;
	margin: 0 0 0.5em 0;
}

.wikipage dd {
	margin-bottom: 1em;
}

.wiki-toc li {
	margin: 2px 0;
}

/** Timeline customisations */

#content.timeline dt em {
	color: #005d8c;
	border-bottom: 1px dotted #005d8c;
}

#prefs {
	background: #fff;
	border: 1px solid #aaa;
	padding: 1em 3em;
	font-size: 1em;
}

#prefs input, #prefs select {
	font-size: 12px;
}

.buttons input {
	background-color: #ccc;
	border: 2px solid #666;
}

/** Milestone customisations */

.milestone .info h2 em {
	color: #005d8c;
}

/** Browser customisations */
table.listing thead th {
	font-size: 1em;
}

#jumprev, #jumprev input, #jumploc, #jumploc input, #jumploc select {
	font-size: 12px;
}