/* styles */

/* "global" styles for various standard html tags */

html
{
  background-color: #eee;
}
body
{
  font-family: Verdana, Helvetica, sans-serif;
  font-size: 10pt;
  margin: 0.5em;
  border: thin solid darkgreen;
  padding: 0px;
  background-color: white;
  color: #223344;
}
h1, h2, h3, h4
{
  color: darkblue;
}
h1
{
  font-size: 16pt;
  margin-top: 0px;
}
h2
{
  font-size: 14pt;
}
em
{
  font-style: normal;
  text-decoration: underline;
}
a:link, a:visited
{
   text-decoration: none;
   color: darkblue;
}
a:link:hover, a:visited:hover
{
   border-bottom: thin solid darkblue;
   border-top: thin solid darkblue;
}
li
{
   margin-bottom: 3px;
}
ol, ul, blockquote
{
  margin-right: 5em;
}
pre
{
  color: darkgreen;
  margin: 1em 3em;
  border: thin solid darkgreen;
  padding: 0.5em;
}
code
{
  color: darkgreen;
}

/* styling of header, navbar, main content, and footer */

#header
{
  background-color: white;
  border-bottom: thin solid black;
  color: black;
  font-size: 1.5em;
  line-height: 1.5em;
  padding-left: 1em;
}

#navbar
{
  background-color: #ccc;
  vertical-align: top;
  padding: 3px;
  width: 160px;
  border-right: thin solid black;
}
#navbar div
{
  text-indent: 5px;
}

#main-content-cell
{
  background-color: beige;
  vertical-align: top;
}

#main-content
{
  padding: 20px 10px 0px 10px;
  margin: 0px;
/*  height: 500px; */
  overflow: auto;
}

#main-content:after
{
  display: block;
  padding-top: 3em;
  content: "";
}

.nav-link
{
  display: block;
  margin: 0.25em;
  background-color: white;
  padding: 0.2em 0.3em;
  border: 1px solid black;
}



#footer
{
   font-size: 8pt;
   text-align: center;
   border-top: thin solid black;
   background-color: white;
   padding: 5px;
   line-height: 1em;
}
#footer div
{
   font-size: 8pt;
}


/* styling of sidebar boxes */

.box
{
   border: thin solid black;
   margin: 10px 3px 10px 3px;
   padding-bottom: 5px;
   background-color: white;
}
.box-title
{
   font-style: italic;
   letter-spacing: 1px;
   line-height: 0.9em;
   padding: 3px 0 0px 5px;
   border-bottom: thin solid black;
   color: black;
   background-color: beige;
}
.box div
{
   margin-bottom: 2px;
}
.box div:first-child
{
  margin-bottom: 5px;
}
.box-title a:hover
{
   border: none;
   letter-spacing: 2px;
}