/* Use div.header to refer to <div class="header"> or
       #header to refer to <div id="header"> */

div.header {
   padding-top: 0.2em;
   padding-left: 4em;
   padding-bottom: 0.5em;
   color: #FFFFFF;
   background-color: #657600;
}

div.main {
    
   background-color: #eef2d5;
   color: #212121;
   padding-top: 1em;
   border-left: 2em solid #657600;
   padding-left: 2em;
/* border-bottom: 0.5em solid #3B8D15; */
   padding-bottom: 1em;
/* border-right: 1em solid #3B8D15; */
   padding-right: 5em;
}

body {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 1em;
    line-height: 1.2em;
}

p {
   padding-left: 1em;
}

h1, h2, h3, h4 {
   font-family: Verdana, Arial, Helvetica, sans-serif;
}

h1 { 
   font-size: 1.6em;
   padding-left: 0em;
}

h2 { 
   font-size: 1.4em;
   padding-left: 0em;
}

h3 { 
   font-size: 1.2em; 
   padding-left: 0.5em;
}

h4 {
   font-size: 1.0em;
   padding-left: 1em;
}

pre { 
   font-size: 0.8em;
   padding-left: 2em;
}

ol {
   padding-left: 2em;
}

ul {
   padding-left: 2em;
}

div.navbar {
   color: #FFFFa0;
   position: absolute;
   text-align: right;
   font-size: 0.75em;
   top: 2em;
   right: 9em;
   width: 9em 
}

div.navbar a {
   color: #FFFFa0;
   text-decoration:none;
   border-bottom-style:none;
}

div.navbar a:hover {
   color: #FFFFa0;
   text-decoration:none;
   border-bottom-style:solid;
   border-bottom-width:thin;
}

div.logo {
   position: absolute;
   top: 1em;
   right: 1.5em;
   width: 9em 
}

div.figure {
   float: right;
/* width: 25%; */
   text-align: center;
   border: thin silver solid;
   margin: 0.5em;
   padding: 0.5em;
}

div.figure p {
   text-align: center;
   font-style: italic;
   font-size: smaller;
   text-indent: 0;
}

a {
   color: #a24c00;
   text-decoration:none;
   border-bottom-style:none;
}

a:hover {
   color:#a24c00;
   text-decoration:none;
   border-bottom-style:solid;
   border-bottom-width:thin;
}