body {
  background-color: black;
  color: #FFFF00;
  font-family: verdana, arial, sans-serif;
  font-weight: bold;
  margin-left: 10px;
  margin-right: 10px;
}

.bodyContent {
  width: 640px;
  margin-left: auto;
  margin-right: auto;
}

a, a:visited {
  color: #FFFF00;
  /*font-size: 150%;*/
}
a:hover {
  color: #FF0000;
}

/*
div.yellowBlock {
  background-color: #FCC91C;
  color: black;
  font-weight: 900;
  width: 710px;
  font-size: 300%;
  font-family: "comic sans ms", arial, sans-serif
}
*/

.content {
  margin-top: 20px;
}

.mainHeader {
  margin-left: auto;
  margin-right: auto;
}


.navigation {
  float: right;
  margin: 0px;
  font-size: 110%;
}

.navigation a {
  text-decoration: none;
}

.navigation ul {
  padding-left: 0px;
}

.navigation li {
  list-style: none;
}


.banner {
  margin: 0px;
/*
  margin-top: 20px;
  margin-left: 20px;
  margin-right: 20px;
*/
  float: left;
}

.clear {
  height: 10px;
  clear: both;
}

h1, h2 {
  margin: 20px;
}

.instructor {
  float: left;
  clear: none;
  width: 40%;
  margin: 20px;
}

.instructor .contact {
  color: black;
  background-color: #FFFF00;
  font-size: 110%;
  padding: 8px;
  margin-bottom: 10px;
}
.instructor .contact table {
  margin-left: auto;
  margin-right: auto;
}
.instructor .contact table th {
  text-align: left;
}

.instructor .areas h3 {
  
}

pre {
  font-family: verdana, arial, sans-serif;
}

.links {
  line-height: 150%;
}
.links a {
  text-decoration: none;
}