html {
  overflow-y: scroll;
}
body {
  font-family: arial, sans-serif;
  color: black;
  background-color: white;
}
h1 { font-size: 220%; }
h2 { font-size: 160%; }
h3 { font-size: 120%; }
h1, h2, h3 {
  font-family: "Arial Black", arial, sans-serif;
  font-weight: bolder;
  background-color: #e0e0ff;
  border: 2px solid #c0c0ff;
  display: block;
  padding: 0.25ex 0.5em;
}
.subtitle {
  font-style: italic;
  font-size: 40%;
  margin: 0 0 0 1em;
  padding: 0;
}
a:link, a:visited {
  color: #502010;
  background-color: transparent;
}
a:active, a:hover, a:focus {
  color: #600000;
  background-color: #e0e060;
}
.date {
  font-style:  italic;
  white-space: nowrap;
}
.code {
  font-family: monospace;
  white-space: pre;
}
.codebox {
  font-family: monospace;
  background-color: #e0e0e0;
  width: auto;
  margin: 10px 40px;
  padding: 4px;
  border-style: solid none;
  border-width: thin;
  border-color: black;
  white-space: pre;
}
.var {
  font-family: serif;
  font-style:  italic;
  white-space: nowrap;
}
.warn-line {
  background-color: #ff8080;
  font-weight: bold;
  font-size: 125%;
  text-align: center;
  margin: 1ex 0;
  padding: 4px;
}
.navbar {
  text-align: right;
  margin: 0;
  padding: 4px 0;
  border-bottom: 2px solid #c0c0ff;
  font: bold 12px "Arial Black", arial, sans-serif;
}
.navbar li {
  list-style: none;
  display: inline;
  margin: 0 6px;
}
.navbar li a {
  margin: 0;
  padding: 4px 0.5em;
  width: 100%;
  background-color: #c0c0ff;
  border: 2px solid #c0c0ff;
  text-decoration: none;
}
.navbar .curpagelink a {
  background-color: #e0e0ff;
  border-bottom: 2px solid #e0e0ff;
}
.navbar a {
  text-decoration: none;
  font-weight: bold;
}
.navbar a:active, .navbar a:hover, .navbar a:focus {
  background-color: #e0e060;
}
@media screen {
  .pagehead {
    margin-top: 0;
    border-top: none;
  }
}
.tocbar {
  color: black;
  background-color: #e8e8ff;
  text-decoration: none;
  font-size: 82.5%;
  font-weight: bold;
  margin: 0ex 0em;
  padding: 1ex 2em;
}
.tocbar ul {
  list-style: none;
  margin: 0;
  padding: 0;
}
.tocbar ul a {
  width: 90%;
  display: block;
}
.tocbar a {
  text-decoration: none;
  font-weight: bold;
}
.tocbar a:link, .tocbar a:visited {
  color: #103010;
  background-color: transparent;
}
.tocbar a:active, .tocbar a:hover, .tocbar a:focus {
  color: #600000;
  background-color: #e0e060;
}
#search-box {
  position: absolute;
  top: 42px;
  right: 16px;
  margin: 0;
  padding: 0;
  display: none;
  vertical-align: top;
  z-index: 99;
  background-color: #eee;
}
div .autocomplete {
  margin: 0;
  padding: 0;
  width: 100%;
  background-color: #eee;
  border: 1px solid #888;
  position: absolute;
  font-weight: normal;
  font-size: 75%;
}
div .autocomplete ul {
  margin: 0;
  padding: 0;
  list-style: none;
}
div .autocomplete ul li.selected {
  color: #ff2;
  background-color: #44c;
}
div .autocomplete ul li {
  margin: 0;
  padding: 2px;
  display: block;
  list-style: none;
  cursor: pointer;
  border: 0;
}
.screenonly { display: compact; }
.printonly  { display: none;    }
@media print {
  .screenonly { display: none;  }
  .printonly  { display: block; }
  a:link, a:visited, a:active, a:hover { color: black; }
  .navbar, .tocbar { display: none; }
}