body {
  font-family: Georgia, Times New Roman, Times Roman, Serif;
  font-size: 100%;
  margin-left: 6%;
  margin-right: 6%;
  margin-top: 2%;
  margin-bottom: 2%;
  background-repeat: repeat-y
}

a:link {
  color: #9f0000;
  font-weight: bold;
  background: transparent;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

a:visited {
  color: #00a414;
  font-weight: bold;
  background: transparent;
  text-decoration: none;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

a:active {
  color: #ff0000;
  background: transparent;
  font-weight: bold;
  text-decoration: none;
  font-family: Verdana, Arial, Helvetica, Sans-Serif  
}

a:hover {
  color: #9a7f00;
  background: transparent;
  text-decoration: none;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.big {
  font-size: 200%;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.bigger {
  font-size: 300%;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.red {
  color: #ec4128;
  font-size: 100%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.yellow {
  color: #c7c723;
  font-size: 100%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.gray {
  color: #cccccc;
  font-size: 130%;
  margin-left: 10%;
  margin-right: 10%;
  font-family: Georgia, Times New Roman, Times Roman, Serif
}

.bigred {
  color: #ec4128;
  font-size: 200%;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.biggerred {
  color: #ec4128;
  font-size: 300%;
  font-weight: bold;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.black {
  color: #000000;
  font-size: 100%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.doublespace {
  line-height: 2.0;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

h1 {
  background: transparent;
  color: #000000;
  font-weight: bold;
  font-size: 150%;
  text-align: center;
  font-family: Georgia, Times New Roman, Times Roman, Serif
}

h2 {
  background: transparent;
  font-weight: bold;
  color: #000000;
  font-size: 200%;
  text-align: center;
  font-family: Georgia, Times New Roman, Times Roman, Serif
}

h3 {
  background: transparent;
  font-weight: bold;
  font-size: 250%;
  color: #000000;
  text-align: center;
  font-family: Georgia, Times New Roman, Times Roman, Serif
}

h4 {
  margin-left: 6%;
  margin-right: 6%;
  color: #000000;
  font-weight: bold;
  font-size: 150%;
  font-family: Georgia, Times New Roman, Times Roman, Serif
}

h5 {
  margin-left: 6%;
  margin-right: 6%;
  color: #000000;
  font-weight: bold;
  font-size: 250%;
  font-family: Georgia, Times New Roman, Times Roman, Serif
}

p {
  color: #000000;
  text-indent: .5in;
  margin-left: 5%;
  margin-right: 5%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

ul, ol, dl {
  margin-left: 6%;
  margin-right: 6%;
  color: #000000;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

ul ul, table ol, table ul {
  margin-right: 0%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

pre {
  margin-left: 2%;
  margin-right: 2%
  white-space: pre
}

table caption {
  font-size: 150%r;
  font-weight: bolder;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

table p, table dl, ol p, ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, li pre, dd pre {
  margin-left: 0;
  margin-right: 0;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

p.top {
  margin-left: 1%;
  margin-right: 1%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

blockquote {
  margin-left: 8%;
  margin-right: 8%;
  border: thin ridge #dc143c;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

blockquote pre {
  margin-left: 1%;
  margin-right: 1%;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

dt a {
  font-weight: bold;
  margin-top: .8em;
  font-family: Verdana, Arial, Helvetica, Sans-Serif
}

.navbar {
  margin-left: -5%;
  margin-top: -1%;
  background: transparent
}