body {
  margin:0;
  font-size:0.9em;
  font-family:Verdana,Helvetica,sans-serif;
}



a:link {
  text-decoration:none;
  color:blue;
}




a:hover {
  text-decoration:none;
}




a:visited {
  color:blue;
  text-decoration:none;
}




#pagetop {
  width:100%;
  margin-bottom:5%;
  border:1px dashed #fff;
}

#logo {
  float:left;
}


#updates {
  /*float:right;*/
  margin-top:10%;
  margin-left:30%;
}




#left-nav {
  float:left;  
  width:20%;
  padding:0.5em;
  margin-left:1%;
  /*margin-right:5%;*/
  border:1px solid #000;
  background:#e0e0e0;
}



#main-text {
  margin-left:24%;
  margin-right:1%;
  /*padding-left:23%;*/
}



#footnotes {
  margin-top:5%;
}



#footer {
  padding-left:1em;
  margin-top:5%;
  width:100%;
  color:#808080;
}



h1 {
  font-size:1.5em;
  margin:0;
  padding:0;
}



h2 {
  font-weight:bold;
  margin-top:5%;
  margin-bottom:0;
  padding:0;
  font-size:1.1em;
}



h3 {
  font-size:1em;
  margin-top:5%;
}



h4 {
  font-size:0.9em;
  margin:0;
  padding:0;
  text-transform:uppercase;
}



ol.loweralph {
  list-style-type:lower-alpha;
}



ol.lowerrom {
  list-style-type:lower-roman;
}



ul.square {
  list-style-type:square;
}



ul.disc {
  list-style-type:circle;
}



ul.circle {
  list-style-type:disc;
}



img {
  border:none;
}



.contents-h1 {
  font-weight:bold;
}



.text-small {
  font-size:1em;
}



.text-vsmall {
  font-size:0.7em;
}




.internal-nav {
  font-size:0.7em;
  text-align:right;
  font-weight:normal;
  border-top:1px solid #000;
}



.contents-table-active {
  font-size:1em;
  background:#fff;
}



.box {
  border:1px solid #000;
  padding:2%;
}