/* Principal style, assumes 1000x750 window. */
body {
  width: 750px;
  margin: auto;
  padding: 1em;
  background: #7fff7f url(headbg.jpg) 0 0 repeat-x;
  color: black;
  font-size: 14px;
  text-align: left;
}
h1,h2,h3,h4,h5,h6 {
  color: #227722;
  font-family: sans-serif;
}
.maincontent {
  background: white;
  margin: 0 0 1em 0;
  border: 1px solid #7f7f7f;
  padding: 0.2em 1.5% 0.5em 1.5%;
  width: 96.5%;
  float: left;
}
.thumbleft {
  margin: 0 1em 0.5em 0;
  border: 1px solid #7f7f7f;
  padding: 0.5em 0.5em 0.5em 0.5em;
  float: left;
}
.thumbright {
  margin: 0 0 0.5em 1.2em;
  border: 1px solid #7f7f7f;
  padding: 0.5em 0.5em 0.5em 0.5em;
  float: right;
}
.thumbcentre {
  border: 1px solid #7f7f7f;
  padding: 0.5em 0.5em 0.5em 0.5em;
  text-align: left;
}
.thumbwide {
  background: #efefff;
  border: 1px solid #7f7f7f;
  padding: 0.5em 0.5em 0.5em 0.5em;
  text-align: left;
  width: 98%;
}
.center {
  width: 100%;
  text-align: center;
}
*.center * {
  margin-left: auto;
  margin-right: auto;
}
p.indented {
  padding: 0 0 0 3.5em;
}
pre.coded {
  background: #ffffcf;
  padding: 0.75em 2em 0.75em 2em;
  border: 1px solid #7f7f7f;
}
.footer {
  background: white;
  margin: 0 0 1em 0;
  border: 1px solid #7f7f7f;
  padding: 0.75em 1.5% 0.5em 1.5%;
  width: 96.5%;
  float: left;
  font-size: 13px;
  text-align: center;
}
.footerleft {
  margin: 0;
  padding: 0 0 0 0;
  float: left;
  text-align: left;
}
/* Keep certain navigation elements only in speech. */
@media print, screen {
  .skipnav {
    display: none;
  }
}
/* For a wide window, scale up content area and increase font size. */
@media (min-width: 1200px) {
  body {
    width: 75%;
    font-size: 16px;
  }
}
/* For a narrow window, scale down content area and decrease font size. */
@media (max-width: 800px) {
  body {
    width: 90%;
    font-size: 12px;
  }
}
/* For high pixel density, increase font size. */
@media (min-resolution: 120dpi) {
  body {
    font-size: 16px;
  }
}
/* Adjust some style parameters for print. */
@media print {
  body {
    width: 650px;
    font-size: 15px;
  }
  .noprint {
    display: none;
  }
  .footer {
    border-top: thin dashed black;
    border-right: 0;
    border-bottom: 0;
    border-left: 0;
    width: 99%;
    font-size: 12px;
  }
  .maincontent {
    border: 0;
    width: 99%;
  }
}