/* Copyright (C) 2004-2023 Mike Pall.
 *
 * You are welcome to use the general ideas of this design for your own sites.
 * But please do not steal the stylesheet, the layout or the color scheme.
 */
/* colorscheme:
 *
 * site  |  head   #4162bf/white   | #6078bf/#e6ecff
 * ------+------   ----------------+-------------------
 * nav   |  main   #bfcfff         | #e6ecff/black
 *
 * nav:  hiback   loback     #c5d5ff #b9c9f9
 *       hiborder loborder   #e6ecff #97a7d7
 *       link     hover      #2142bf #ff0000
 *
 * link: link visited hover  #2142bf #8122bf #ff0000
 *
 * main: boxback  boxborder  #f0f4ff #bfcfff
 */
body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 10pt;
  margin: 0;
  padding: 0;
  border: none;
  background: #e0e0e0;
  color: #000000;
}
a:link {
  text-decoration: none;
  background: transparent;
  color: #2142bf;
}
a:visited {
  text-decoration: none;
  background: transparent;
  color: #8122bf;
}
a:hover, a:active {
  text-decoration: underline;
  background: transparent;
  color: #ff0000;
}
h1, h2, h3 {
  font-weight: bold;
  text-align: left;
  margin: 0.5em 0;
  padding: 0;
  background: transparent;
}
h1 {
  font-size: 200%;
  line-height: 3em; /* really 6em relative to body, match #site span */
  margin: 0;
}
h2 {
  font-size: 150%;
  color: #606060;
}
h3 {
  font-size: 125%;
  color: #404040;
}
p {
  max-width: 600px;
  margin: 0 0 0.5em 0;
  padding: 0;
}
b {
  color: #404040;
}
ul, ol {
  max-width: 600px;
  margin: 0.5em 0;
  padding: 0 0 0 2em;
}
ul {
  list-style: outside square;
}
ol {
  list-style: outside decimal;
}
li {
  margin: 0;
  padding: 0;
}
dl {
  max-width: 600px;
  margin: 1em 0;
  padding: 1em;
  border: 1px solid #bfcfff;
  background: #f0f4ff;
}
dt {
  font-weight: bold;
  margin: 0;
  padding: 0;
}
dt sup {
  float: right;
  margin-left: 1em;
  color: #808080;
}
dt a:visited {
  text-decoration: none;
  color: #2142bf;
}
dt a:hover, dt a:active {
  text-decoration: none;
  color: #ff0000;
}
dd {
  margin: 0.5em 0 0 2em;
  padding: 0;
}
div.tablewrap { /* for IE *sigh* */
  max-width: 600px;
}
table {
  table-layout: fixed;
  border-spacing: 0;
  border-collapse: collapse;
  max-width: 600px;
  width: 100%;
  margin: 1em 0;
  padding: 0;
  border: 1px solid #bfcfff;
}
tr {
  margin: 0;
  padding: 0;
  border: none;
}
tr.odd {
  background: #f0f4ff;
}
tr.separate td {
  border-top: 1px solid #bfcfff;
}
td {
  text-align: left;
  margin: 0;
  padding: 0.2em 0.5em;
  border: none;
}
tt, code, kbd, samp {
  font-family: Courier New, Courier, monospace;
  line-height: 1.2;
  font-size: 110%;
}
kbd {
  font-weight: bolder;
}
blockquote, pre {
  max-width: 600px;
  margin: 1em 2em;
  padding: 0;
}
pre {
  line-height: 1.1;
}
pre.code {
  line-height: 1.4;
  margin: 0.5em 0 1em 0.5em;
  padding: 0.5em 1em;
  border: 1px solid #bfcfff;
  background: #f0f4ff;
}
pre.mark {
  padding-left: 2em;
}
span.codemark {
  position:absolute;
  left: 16em;
  color: #4040c0;
}
span.mark {
  color: #4040c0;
  font-family: Courier New, Courier, monospace;
  line-height: 1.1;
}
img {
  border: none;
  vertical-align: baseline;
  margin: 0;
  padding: 0;
}
img.left {
  float: left;
  margin: 0.5em 1em 0.5em 0;
}
img.right {
  float: right;
  margin: 0.5em 0 0.5em 1em;
}
.indent {
  padding-left: 1em;
}
.flush {
  clear: both;
  visibility: hidden;
}
.hide, .noscreen {
  display: none !important;
}
.ext {
  color: #ff8000;
}
.note {
  padding: 0.5em 1em;
  border-left: 3px solid #bfcfff;
}
#site {
  clear: both;
  float: left;
  width: 13em;
  text-align: center;
  font-weight: bold;
  margin: 0;
  padding: 0;
  background: transparent;
  color: #ffffff;
}
#site a {
  font-size: 200%;
}
#site a:link, #site a:visited {
  text-decoration: none;
  font-weight: bold;
  background: transparent;
  color: #ffffff;
}
#site span {
  line-height: 3em; /* really 6em relative to body, match h1 */
}
#logo {
  color: #ffb380;
}
#head {
  margin: 0;
  padding: 0 0 0 2em;
  border-left: solid 13em #4162bf;
  border-right: solid 3em #6078bf;
  background: #6078bf;
  color: #e6ecff;
}
#nav {
  clear: both;
  float: left;
  overflow: hidden;
  text-align: left;
  line-height: 1.5;
  width: 13em;
  padding-top: 1em;
  background: transparent;
}
#nav ul {
  list-style: none outside;
  margin: 0;
  padding: 0;
}
#nav li {
  margin: 0;
  padding: 0;
}
#nav a {
  display: block;
  text-decoration: none;
  font-weight: bold;
  margin: 0;
  padding: 2px 1em;
  border-top: 1px solid transparent;
  border-bottom: 1px solid transparent;
  background: transparent;
  color: #2142bf;
}
#nav a:hover, #nav a:active {
  text-decoration: none;
  border-top: 1px solid #97a7d7;
  border-bottom: 1px solid #e6ecff;
  background: #b9c9f9;
  color: #ff0000;
}
#nav a.current, #nav a.current:hover, #nav a.current:active {
  border-top: 1px solid #e6ecff;
  border-bottom: 1px solid #97a7d7;
  background: #c5d5ff;
  color: #2142bf;
}
#nav ul ul a {
  padding: 0 1em 0 1.7em;
}
#nav ul ul ul a {
  padding: 0 0.5em 0 2.4em;
}
#main {
  line-height: 1.5;
  text-align: left;
  margin: 0;
  padding: 1em 2em;
  border-left: solid 13em #bfcfff;
  border-right: solid 3em #e6ecff;
  background: #e6ecff;
}
#foot {
  clear: both;
  font-size: 80%;
  text-align: center;
  margin: 0;
  padding: 0.5em;
  background: #6078bf;
  color: #ffffff;
}
#foot a:link, #foot a:visited {
  text-decoration: underline;
  background: transparent;
  color: #ffffff;
}
#foot a:hover, #foot a:active {
  text-decoration: underline;
  background: transparent;
  color: #bfcfff;
}
