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

html {
	font-family: "Liberation Mono", monospace, mono;
	color: #2d2;
	background: black;
	margin: 0px;
	text-decoration: none;
}

body {
	font-family: "Liberation Mono", monospace, mono;
	color: #2d2;
	background: black;
	margin: 0.2em;
	text-decoration: none;
}

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

:visited {
	color: #55e;
	text-decoration: none;
}

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

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

div#mainpage {
	position: absolute;
	top: 12ex;
	left: 15em;
	background: #111;
	padding-left: 1em;
	padding-right: 1em;
}

div#navbar {
	position: absolute;
	top: 10ex;
	left: 1em;
	width: 12em;
}

div#slogan {
	position: absolute;
	top: 0ex;
	left: 0.5em;
	width: 100%;
	background: #020;
	color: #3f3;
	font-size: xx-large;
	padding-top: 0px;
	padding-bottom: 0px;
	margin-bottom: 0px;
	margin-top: 0px;
	padding-left: 2em;
}

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

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

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

div.navitem li {
	font-family: "Liberation Mono", monospace, mono;
	margin-left: 0em;
	padding-left: 0em;
}

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

.warning {
  background: #200;
  color: #9f9
}

p#propage {
  background: #232;
}

img {
  border: 0px;
}

pre.wrap {
    white-space: pre-wrap;
}

pre {
    background: #232;
}