html { min-height: 100%; margin-bottom: 1px }

body {
  margin: 0 0 0 0;
  background: #f8f8f8f8;
  color: black;
  height: 100%;
  font-family: "Gill Sans", GillSans, Arial, Helvetica, sans-serif
}

h1, h2, h3, h4 { color: #900 }

h1 {
  font-size: 175%;
  margin-top: .5em;
  margin-bottom: 0
  text-align: left;
  font-weight: bold;
  font-style: italic;
  border-bottom: thin solid;
  padding: 0 0 0.2em 0;
}

h2 {
  font-size: 140%;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: .25em;
  padding: 0 0 0 0;
}

h3,h4 {
  font-weight: normal;
  margin-top: 1em;
  margin-bottom: .25em;
  padding: 0 0 0 0;
}

h3 { font-size: 120% }

h4 { font-size: 100% }

h1 a:link, h1 a:visited, h1 a:active, h1 a:hover {
  text-decoration: none; color: #900; background: #eeeeee;
}

pre {
  text-align: left      /* Safari 1.0b doesn't do this by default */
}

#main {
  position: absolute; left: 1em; top: 0; right: 6em;
  margin: 0 0 0 0;
  padding: 0 0 1em 0;
  overflow: hidden;
}

/* navigation menu along the left side */

#map { 
  position: absolute; top: 0; right: 0;
  width: auto;
  height: 100%;
  padding: 0 0 0 0;
  margin: 0 0 0 0;
  border-left: .1em solid #6666aa;
  background: #000022;
  color: white;
}

body > #map {
  position: fixed;
}
  
div#map p a:link, div#map p a:visited, div#map p a:active, div#map p a:hover {
  display: block;
  width: 6em;
  padding: 0em .5em 0em .5em;
  margin: 0em 0em 0em 0em;
  text-align: center;
  font-size: 70%;
  font-weight: bold;
}

div#map p a:link, div#map p a:visited, div#map p a:active {
  background: #000022;
  text-decoration: none;
  color: white
}

div#map p a:hover {
  background: #222266;
  text-decoration: none;
  color: white
}


/* banner along the top */

#banner {
  margin: 1em 0 1em 0;
  padding: 0 0 0 0;
}

.banner1, a.banner1:link, a.banner1:active, a.banner1:visited, a.banner1:hover {
  background: #dadada;
  color: #000000;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner2 {
  background: #dcdcdc;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner3 {
  background: #dedede;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner4 {
  background: #e0e0e0;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner5 {
  background: #e2e2e2;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner6 {
  background: #e4e4e4;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner7 {
  background: #e6e6e6;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner8 {
  background: #e8e8e8;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner9 {
  background: #eaeaea;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

.banner10 {
  background: #ececec;
  color: #000022;
  padding: 0 0 0 0;
  font-size: 100%;
  font-weight: medium;
  white-space: nowrap;
  text-decoration: none
}

/* footer */

#footer {
  border-top: thin solid #900;
  margin: 2em 0 0 0;
  padding: .5em 0 0 0;
  font-weight: normal;
  font-size: 85%;
  color: #666666
}

#content {
/*  border-top: thin solid #000022; */
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}

/* links */

a:link, a:visited, a:active {color:#000066; text-decoration:underline}
a:hover {color:white; text-decoration:underline; background:#000066}

a.menu {color:#000066; text-decoration:none}
a.menu:hover {color:white; text-decoration:none; background:#000066}

a.title:link, a.title:active, a.title:visited, a.title:hover {color:#900; text-decoration:none; background: #f8f8f8}

/* miscellany */

ul, ol {
  margin: .5em 0 .25em 1.5em;
  padding-left: 0
}

ul ul { margin-top: 0 }

li {
  padding-left: 0;
  margin-left: 0;
  margin-top: .25em
}

ol {
  list-style-type: decimal;
  margin-bottom: 0;
  margin-top: .5em
}

ol ol {
  list-style-type: lower-alpha;
  margin-top: 0
}

ol ol ol {
  list-style-type: lower-roman;
  margin-top: 0
}

div.indent {
  padding-left: 1em
}

span.trademark, span.copyright {
  font-style: italic;
}