@charset "utf-8";

* {
    padding: 0;
    margin: 0;
}

body {
    font-family: Georgia, serif;
    font-size: 13px;
    background: white;
    color: black;
    line-height: 141%;
}

h1, h2, h3, h4, h5 {
    font-family: "Arial Black", sans-serif;
    font-weight: normal;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    margin: 2.5ex 0 1ex 0;
    color: #3A6287;
    line-height: normal;
}

.runinheading {
    font-weight: normal;
    font-family: "Arial Black", sans-serif;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    padding-right: 0.5em;
    color: #3a6287;
}

.remark {
	background-color: #f23252;
	color: white;
	font-style: italic;
	padding: 0.2ex 0.5em 0.2ex 0.5em;
	display: block;
}

.remark a {
	color: white;
}

.remark a:visited {
	color: #EFDEE1;
}

.remark a:hover {
    color: white;
}

p.subtitle {
    font-family: sans-serif;
    color: #3a6287;
    font-weight: bold;
    text-transform: uppercase;
    text-indent: 0;
    margin: 0 0 3ex 0;
    letter-spacing: 0.1em;
}

p.intro {
	font-weight: bold;
    color: #3a6287;
    text-indent: 0;
    line-height: 160%;
    padding-right: 16%;
}

p.subheading {
    font-weight: bold;
    font-family: sans-serif;
    padding-right: 1em;
    text-indent: 0;
    margin-top: 2ex;
    color: #3a6287;
}

acronym {
	font-style: normal;
}

a {
	color: #3a6287;
}

a:visited {
	color: #3a6287;
}

p {
	text-indent: 0;
    margin: 1.67ex 0 0 0;
}

ol, ul {
    margin: 1ex 0 2ex 1em;
}

ul {
    list-style-type: square;
}

li {
    margin: 0.4ex 0 0.6ex 2em;
    text-indent: 0;
}

dl {
	margin: 1ex 0 2ex 0;
}

dt {
    margin-top: 1ex;
    font-family: sans-serif;
    font-weight: bold;
    letter-spacing: 0.1em;
}

dd {
    margin-left: 3em;
}

table {
	empty-cells: show;
	border-collapse: collapse;
	border-spacing: 0;
}

th {
	text-align: left;
	padding: 0.4ex 0.4em 0.4ex 0.4em;
	vertical-align: top;
}

td {
    text-align: left;
    padding: 0.2ex 0.4em 0.2ex 0.4em;
    vertical-align: top;
}

table.db {
    border-collapse: collapse;
    background-color: white;
}

table.db td {
	background-color: #C1E8FF;
	margin: 2px 2px 2px 2px;
    border: 2px solid white;
}

table.db th {
    background-color: #3a6287;
    color: white;
    margin: 2px 2px 2px 2px;
    border: 2px solid white;
}

table.db th.name {
	text-transform: uppercase;
    color: white;
    background-color: #3a6287;
    font-weight: bold;
    letter-spacing: 0.1em;
}

table.db td.field {
	font-family: monospace;
}

table.db td.type {
    font-family: monospace;
    text-transform: uppercase;
}

th.inverted {
	color: white;
	background-color: #3a6287;
	font-weight: bold;
}

pre {
	padding: 1ex 0.5em 1ex 0.5em;
	margin: 3ex 0 3ex 0;
	border: 1px dashed #909080;
	background-color: #fcfcf8;
	line-height: 120%;
}

pre.eq {
	margin-left: 2em;
	border: none;
	background-color: transparent;
}

#container {
	padding-top: 38px;
    margin: 0 0 38px 0;
}

#header {
	width: 100%;
	margin: 0;
	padding: 3px 6px 8px 1em;
    border-bottom: 1px solid black;
	position: fixed;
	top: 0;
	left: 0;
	background-color: #3a6287;
    max-height: 32px;
}

#header .title {
    font-family: "Arial Black", sans-serif;
    font-weight: normal;
    text-transform: uppercase;
    color: #f8f8ff;
    font-size: 21px;
    letter-spacing: 0.1em;
    text-indent: 0;
    line-height: normal;
    margin: 0;
}

#footer {
	font-family: sans-serif;
	margin-top: 30px;
	clear: both;
	width: 100%;
	background-color: #3a6287;
	padding: 3px 6px 4px 1em;
	font-size: smaller;
	color: #e6f2ff;
}

#footer a {
	color: #cfe2f5;
	text-decoration: none;
}

#footer a:hover {
    text-decoration: underline;
}

#navi {
	width: 140px;
	margin-top: 36px;
	padding: 3ex 1em 5ex 1em;
	font-family: sans-serif;
	float: left;
}

#navi ul {
	list-style: none;
	margin: 0;
    line-height: normal;
}

#navi li {
    text-indent: 0;
    margin: 0 0 2ex 0;
}

#navi a  {
    text-decoration: none;
    color: black;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    font-size: smaller;
}

#navi a:hover {
    text-decoration: underline;
}

#maincontent {
    margin: 34px 220px 4px 170px;
    padding: 0 0 0 8px;
}

#toolbar {
	font-family: sans-serif;
    float: right;
    max-width: 190px;
    width: 180px;
    background: transparent;
    padding: 12px 10px 20px 10px;
    margin: 0 0 0 0;
    line-height: normal;
}

p.lastchange {
	text-indent: 0;
	margin: 7ex 3em 3ex 0;
	font-family: sans-serif;
    font-size: smaller;
    color: #909080;
}

p.first {
    text-indent: 0;
    margin: 0.66ex 0 0 0;
}

.donationbox {
	font-size: smaller;
	line-height: 95%;
	text-indent: 0;
	font-family: sans-serif;
	margin: 1ex 0 5ex 1em;
	text-align: right;
}

.image {
    text-indent: 0;
    margin-top: 3ex;
    margin-bottom: 3ex;
}

.image .description {
    text-indent: 0;
    text-align: left;
    font-weight: bold;
    color: #3a6287;
    margin-top: 1ex;
    margin-bottom: 1ex;
}

.expandable {
	margin: 1ex 0 1ex 0;
	font-family: sans-serif;
	border: 1px #3a6287 dashed;
	padding: 1ex 1em 1ex 1em;
}

.expandable .title {
	margin: 0;
	font-weight: bold;
}

.toggle {
	font-size: 95%;
}

.toggle:hover {
	cursor: pointer
}

p.totop {
	text-align: right;
	font-family: sans-serif;
}

p.shortcuts {
	text-align: center;
	font-family: sans-serif;
}

span.programname {
	font-style: italic;
}

span.author {
	padding-left: 0.5em;
	color: #3a6287;
	font-weight: bold;
	text-transform: lowercase;
}

.h-decl {
    color: #999933;
}

.h-pi {
    font-weight: bold;
	color: #336699;
}

.h-com {
	color: #808020;
}

.h-ab {
    color: #993333;
}

.h-tag {
	font-weight: bold;
	color: #993333;
}

.h-attr { 
	color: #003333;
}

.h-attv {
    font-weight: bold;
	color: #288020;
}

.h-ent {
	color: #999966;
}

.h-lno {
	color: #999999;
}

#map_canvas {
  border: 1px solid black;
  background-color: #909080;
  width: 100%;
  height: 500px;
  margin-top: 3ex;
  margin-bottom: 3ex;
}