body {
	font-family: Verdana, Helvetica, Helv, sans-serif;
	background-color: #eef;
}

/* Headers */
h1 {
	padding-top: 0.5em;
	font-size: 1.2em;
	font-weight: bold;
}

h2 {
	font-size: 1.1em;
	font-weight: bold;
}

h3 {
	font-size: 1.0em;
	font-style: italic;
	font-weight: normal;
}

img {
	border: 0px;
}

th[scope=row] {
	text-align: right;
}

/*-----------------------
  header
-----------------------*/

div#header {
	position: absolute;
	top: 0px;
	left: 0px;
	width: 100%;
	height: 70px;
	background-color: #220072;
	padding: 0px;
	margin: 0px;
}

div#header img {
	padding: 0px;
	margin: 0px;
	width: 800px;
	height: 70px;
}

div#header div {
	padding: 0.1em;
	font-size: 3em;
	font-weight: bold;
	color: #ddf;
}

/*-----------------------
  main nav
-----------------------*/

div#navigation {
	position: absolute;
	top: 70px;
	left: 0px;
	height: 1.2em;
	width: 100%;
}

div#navigation li {
	display: inline;
	background-color: white;
	border: 1px solid black;
}

/*-----------------------
  side nav
-----------------------*/

div#sidenav {
	position: absolute;
	top: 70px; /*90*/
	left: 0px;
	width: 22ex;
	min-height: 42ex;
	
	background-color: #ddf;
	
	border-width: 0px 2px 2px 0px;
	border-style: solid;
	border-color: white;

	padding: 0.6em;
	text-align: right;
}


/* Used to give a sensible header for non-CSS browsers etc. */
div#sidenav h1 { display: none; }

div#sidenav ul {
	padding-left: 0em;
	margin-left: 0em;
}

div#sidenav ul li {
	list-style-type: none;
	margin-left: 0em;
	padding: 0.2em 0em 0.3em 0em;
	border-bottom: 1px solid silver;
	font-size: 0.85em;
}

div#sidenav ul li:first-child {
	border-top: 1px solid silver;
}
/*
div#sidenav ul li.active:first-child {
	border-top: 1px solid silver;
}*/

div#sidenav ul li a {
	text-decoration: none;
}

div#sidenav ul li.active {
	background-color: white;
	border: 0px;
	font-weight: bold;
	padding-bottom: 0;
}

div#sidenav ul li.active ul {
	background-color: #eef;
}

div#sidenav ul li.active#sole {
	border-bottom: 1px solid silver;
}

div#sidenav ul li.active:last-child {
	border-bottom: 1px solid silver;
}

div#sidenav ul ul {
	background-color: white;
}

div#sidenav ul ul li {
	border-bottom: 0px;
	font-weight: normal;
	font-size: 0.7em;
	padding-right: 0.3em;
	border: 0px;
}

div#sidenav ul ul li a {
	text-decoration: underline;
}

div#sidenav ul ul li:first-child {
	border-top: 0px;
}

div#sidenav ul ul li:last-child {
	border-bottom: 1px solid silver;
}


/*-----------------------
  main content
-----------------------*/

body.nonav div#maincontent {
	left: 1ex !important;
}

div#maincontent {
	position: absolute;
	top: 70px;
	left: 27ex;
	margin: 0em 1em 00em 0em;
	padding: 0px;
	padding-bottom: 2em;
}

div#maincontent.wide {
	left: 1ex;
}


div#maincontent li {
	margin-bottom: 0.4em;
}


div.projectexample {
	background-color: #ddf;
	padding: 1em;
	margin-bottom: 1.5em;
	border: 1px solid white;
	clear: left;
}

div.timeline, div.extdoc {
	font-family: Arial, sans-serif;
	background-color: #ddf;
	padding: 0em 0.5em 0em 0.5em;
	margin-bottom: 1.0em;
	border: 1px solid white;
	clear: left;
}



/*-----------------------
  footer
-----------------------*/

div#footer {
	width: 100%;
	font-size: 0.65em;
	color: #666;
	text-align: center;
	margin: 5em 0em 0em 0em;
	padding: 0em;
}

/*-----------------------
  misc
-----------------------*/

.error {
	color: red;
	font-weight: bold;
}

.sitename {
	font-style: italic;
}

ol li {
	margin-bottom: 1em;
}

q,blockquote {
	font-style: italic;
}

blockquote:before,blockquote:after {
	content: '"';
}

div#quicklinks {
	background-color: #220072;
	float: right;
	padding: 1em;
	border: 6px double white;
	color: white;
	font-size: 0.8em;
	width: 12em;	/* IE4 doesn't like it if you don't use this */
}

div#quicklinks a {
	color: white;
}

div#quicklinks ul{
	padding-left: 1em;
	margin-left: 0px;
}

div#quicklinks h3 {
	font-size: 1.1em;
	font-weight: bold;
	padding: 0px;
}

table#filters, table#filters td, table#filters th {
	text-align: center;
	border: 1px solid #666;
}

span.inline_note {
	font-size: 85%;
	font-style: italic;
}

.email {
	background-color: #ddf;
	padding: 1em;
}

span.timeline-date {
	font-weight: bold;
}

div#whatsnew
{
	width:20%;
	float: right;
	border: 1px solid black;
	padding: 0.5em;
	margin-left: 1em;
	background-color: #ddf;
}

div#whatsnew ul {
	padding-left: 1em; /* moz */
	margin-left: 0.5em; /* ie */
}

/*div#whatsnew li {
	padding-left: 1em;
}*/

div#whatsnew h2 {
	display: block
}

.variable {
	font-style: italic;
	font-family: serif;
}