body {
  font-family: verdana, sans-serif;
  background: white;
}

img {  border: 0; }

/* Page heading */
h1 {  
  background-color: #ccccff;
  text-indent: 1em; 
  border-style: solid;
  border-width: 0px;
  border-top-width: 1px;
  border-bottom-width: 3px;
  border-color: black;
}

h2 {  
  font-size: 140%; 
  font-weight: bold; 
  text-decoration: none;
  background-color: #ccccff;
  border-style: solid;
  border-width: 0;
  border-top-width: 1px;
  border-bottom-width: 2px;
  border-color: black;
  text-indent: 1em; 
}

h3 { 
  font-size:120%; 
  font-style: oblique; 
  text-decoration: none;
  background-color: #ccccff;
  border-style: solid;
  border-width: 0;
  border-top-width: 1px;
  border-bottom-width: 1px;
  border-color: black;
  text-indent: 1em; 
}

h4 { 
  font-style: italic; 
  text-decoration: none;
  background-color: #ccccff;
  border-style: solid;
  border-width: 0;
  border-bottom-width: 1px;
  border-color: black;
  text-indent: 1em; 
}

.menu {
  margin-left: 1em;
  text-decoration: none; 
}

.pic { 
  float: right;
  position: relative;
  margin-left: 10px;
}

pre { 
  padding: 0.5em;
  border-width: 1px;
  border-color: black;
  background-color: #f3f3f3;
  border-style: solid;
}

a:link {text-decoration: none; color: #AA0099}
a:hover {  text-decoration: underline overline}
a:visited {text-decoration: none; color: #AA0077}

div.figure {
 text-align: left;
 margin-bottom:0;
}

div.figure p {
  width:75%;
  font-size:90%;
  text-align: left;
  color: black;
  font-style: oblique;
  margin-top:0; 
  margin-left: 3em;	
}

div.addresscontent{
  font-size: smaller;
}

#navhead { 
  margin-top: 0;
  background-color: #ccccff;
  padding-left: 4px;
}

.navcontent {
  background-color: #f0f0f3;
  position: fixed;
  margin-top: 1em;
  width: 20%;
  left: 79%;
  border-style: solid;
  border-width: 0;
  border-left-width: 1px;
  border-color: black;
}

.maincontent {
  position: absolute;
  width: 70%;
}