body {
   font-family: "DejaVu Sans", "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
   color: #000;
   background-color: #FFF;
/*   font-size: medium;  */
   position: absolute;
   padding: 0;
   margin: 0;
   top: 0;
   left: 0;
   right: 0;
   }

div#navcontainer { 
   position: fixed;
   right: 1em;
   top: 1em;
   background: #BBBB7D url(images/ulcorner.gif) no-repeat scroll top left;
   font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Andale Mono", "Lucida Console", monospace;
   font-weight: bold;
   }
div#navcontainer div {
   background: transparent url(images/urcorner.gif) no-repeat scroll top right;
   }
div#navcontainer div div {
   background: transparent url(images/lrcorner.gif) no-repeat scroll bottom right;
   }
div#navcontainer div div div {
   background: transparent url(images/llcorner.gif) no-repeat scroll bottom left;
   padding: 1em;
   width: 5em;
   }
div#navcontainer ul {
   list-style-type: none;
   margin: 0;
   padding: 0;
   line-height: 1.5em;
   text-align: center;
   }
#navcontainer ul li a {
   display: block;
   width: 100%;
   }
div#navcontainer ul li a:hover {
   text-decoration: none;
   color: black;
   background-color: #EDEDAF;
   }

span.strike { text-decoration: line-through }

.hide, #buttonbar {
   display: none;
   }
   
div#maincontent {
   margin: 0 9em 0 1em;
   }
div#maincontent p.resources-intro {
   background-color: #BBBB7D;
   padding: 0.5em 1em 0.3em 1em;
   margin: 0;
   }

.pageintrotext {
   font-weight: bold;
   line-height: 1.5;
   }
div.pageintrotext a, p.pageintrotext a {
   color: #444482;
   border-bottom: 1px dotted #444482;
   border-top: 1px dotted #444482;
   }

h1, h2  {
      font-family: "DejaVu Serif", "Bitstream Vera Serif", Georgia, Times, serif;
      margin: 1em 0 0 0;
      }
h3 {
   margin: 0.5em 0 0 0;
   padding: 1em 0 0 0;
   }
h2  {
   background: #3E3E00 url(images/ulcorner.gif) no-repeat scroll top left;
   }
h2 span {
   display: block;
   background: transparent url(images/urcorner.gif) no-repeat scroll top right;
   color: #EDEDAF;
   padding: 0.5em;
   }
h1 {
   text-align: center;
   }

div.resources, div.log {
   background: #EDEDAF url(images/llcorner.gif) no-repeat scroll bottom left;
   }
div.resources div.resources-sub, div.log div {
   background: transparent url(images/lrcorner.gif) no-repeat scroll bottom right;
   padding: 0.5em 1.5em;   
   }
p.resources-intro a:hover {
   background-color: #EDEDAF;
   }
a:link, a:visited {
   color: #121250;
   text-decoration: none;
   font-weight: bold;
   }
a:hover { 
   background-color: #BBBB7D;
   }

div.log {
   font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Andale Mono", "Lucida Console", monospace;
   font-size: small;
   font-weight: bold;
   }
   
div#moddate {
   margin: 0.5em 11em 0.5em 2%;
   text-align: right;
   font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Andale Mono", "Lucida Console", monospace;
   font-size: small;
   }

a:link img { 
   border: none;
   }

p.notice {
   font-size: 2em;
   padding: 1em; margin: 0;
   background: red;
   color: white;
   }
p.notice a {
  color: white;
  text-decoration: underline;
  }
p.notice a:hover {
  color: red;
  background-color: #FFF;
  }

/* see <http://www.positioniseverything.net/easyclearing.html> */
.clearfix:after {
      content: ".";
      display: block;
      height: 0;
      clear: both;
      visibility: hidden
      }

.linklist {
   margin-left: 2em;
   }

/* ugly kludging to override some stuff in the codeboxes' css file
   which was designed to work with the old stylesheets.  Needs total 
   rewrite/integration into one css file.  Someday.  Maybe.
   Oh, and the maillink one too.
*/
ol.instructions { 
      margin: 1em 0 0 0 !important;
      }
.codebox {
      border: 1px solid #3E3E00 !important;
      }
.codeboxhead {
      background: #3E3E00 !important;
      color: #EDEDAF !important;
      }
#boxcars a:link {
   border: 1px solid #3E3E00 !important;
   background: #3E3E00 !important;
   }
#boxcars a:hover {
   background: #BBBB7D !important;
   }
/* end kludging */

a.imagelink { border: 0 !important; text-decoration: none !important; }

@media print {
   #maincontent { width: 100%; margin: 0; padding: 0 }
   #navcontainer { display: none }
   }