/* 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: #FFFFa0;
   background-color: #3B8D15;
}

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

body {
   font-family: "Gentium Book Basic Roman", Georgia, "Times New Roman", Times, serif; 
   background-color: white;  # note difference if you use #3B8D15;
   font-size: 1.1em;
}

b {
	  font-family: 'Gentium Book Basic Bold';
}

i {
	font-family: 'Gentium Book Basic Italic'
}

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 {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   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: 1.5em;
   right: 1.5em;
   width: 9em;
   text-align: right;
}

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: 0.8em;
   text-indent: 0;
}

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

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


@font-face {
	font-family: 'Gentium Book Basic Roman';
	src: url('./GenBkBasR.ttf') format('truetype');
}

@font-face {
	font-family: 'Gentium Book Basic Bold';
	src: url('./GenBkBasB.ttf') format('truetype');
}

@font-face {
	font-family: 'Gentium Book Basic Italic';
	src: url('./GenBkBasI.ttf') format('truetype');
}