body {
  padding-top: 21px;
}
div.mynavbar {
	border-bottom: 2px solid #800000;
  margin-bottom: 30px;
}
div.myfooter {
	border-top: 2px solid #800000;
	text-align: center;
	margin-bottom: 20px; 
	margin-top: 10px;     	
}
ul.mynav {
	text-align: center;
}
.mynav li {
	display: inline;
	padding-left: 2em;
	padding-right: 2em;
}
.mynav a {
	/*color: #800000;*/
}
div.logo {
  text-align: center;
  padding-bottom: 21px;
}
.logo a {
  font-family: monospace;
  font-size: 200%;
  color: #000000;
}
blockquote p {
  font-style: italic;
  color: rgb(119, 119, 119);  
}
#home img {
  float: left;
  margin-right: 1.5em;
}
#intro {
  height: 8em;
}

div.main {
	text-align: center;
}
#fingerprint {
  font-family: "Courier";
  font-size: 9pt;
}