/*General defaults.  Can be overridden on a given page by a more specific stylesheet.*/

html {
	font-family: "Liberation Sans", sans-serif, sans;
	color: black;
	background: #eee;
	margin: 0px;
	padding: 0px;
	text-decoration: none;
}

body {
	font-family: "Liberation Sans", sans-serif, sans;
	color: black;
	margin: 0.2em;
	padding: 0px;
	text-decoration: none;
}

:link {
	color: #00f;
	text-decoration: none;
}

:visited {
	color: #005;
	text-decoration: none;
}

:link:hover {
	color: #77f;
	text-decoration: underline;
}

:visited:hover {
	color: #554;
	text-decoration: underline;
}

div#mainpage {
	font-family: "Liberation Sans", sans-serif, sans;
  position: absolute;
  top: 128px;
  left: 12em;
  padding: 2em;
  border-width: 0px;
  border-style: none;
}

div#navbar {
	font-family: "Liberation Sans", sans-serif, sans;
  position: absolute;
  top: 128px;
  left: 0px;
  width: 12em;
  padding: 0px;
  border-width: 0px;
  border-style: none;
}

div#topbar {
	font-family: "Liberation Sans", sans-serif, sans;
  position: absolute;
  top: 0ex;
  left: 0px;
  width: 100%;
  color: black;
  font-size: xx-large;
  margin: 0px;
  padding: 0px;
  border-width: 0px;
  border-style: none;
  max-height: 128px;
}

div#topbar img {
  margin: 0px;
  padding: 0px;
  vertical-align: bottom;
  float: left;
}

div#topbar p {
  margin: 0px;
  padding: 0px;
  vertical-align: middle;
}

div#topbar p span {
  margin-left: 15px;
  line-height: 64px;
  vertical-align: middle;
}

span#subtitle_span {
  margin-left: 15px;
  line-height: 64px;
  vertical-align: top;
  font-style: italic;
  font-size: large;
}

div.navitem {
	padding: 0px;
	margin: 0px;
}

div.navitem h1 {
	padding-left: 1ex;
	font-variant: small-caps;
	font-size: large;
	margin-bottom: 0ex;
}

div.navitem ul {
	margin-top: 0.5ex;
	margin-bottom: 1ex;
	margin-left: 0em;
	padding-left: 2em;
}

div.navitem li {
	font-family: "Liberation Sans", sans-serif, sans;
	margin-left: 0em;
	padding-left: 0em;
}

p.last_modified {
	margin-top: 15ex;
	font-size: small;
}

.warning {
  background: red;
  color: black;
}