body {
  font-size: 12pt;
  margin: 0;
  padding: 2em;
  font-family: times, "times new roman", georgia, serif;
}

h1, h2, h3, h4, h5, h6 {
  font-family: georgia, times, "times new roman", serif;
}

p,a,ul,li,em,strong,span,div {
  font-size: 1em;
}

p {
  width: 37em;
}

ul, ol {
  width: 35em;
  margin: 1em 0;
}

li + li {
  margin-top: 1em;
}

img {
  border: 0;
}

pre {
  margin-left: 50px;
}

tt {
  margin: 3px;
}

a:link, a:visited, a:active {
  color: #1C5380;
  padding: 0.1em 0.2ex 0 0.1em;
}

a:visited {
  color: #584781;
}

a[href]:hover {
  color: #111;
}

div.navbar h3, div.navbar h4 {
  margin: 0.5em 0;
  text-align: center;
}

ul.menu {
  border-right: 1px solid #ddd;
  border-left: 1px solid #ddd;
  border-top: 1px solid #f0f0f0;
  margin: 3em 0;
  padding: 0;
  list-style-type: none;
  width: 100%;
}

ul.menu li {
  padding: 0;
  margin: 0.1em 0;
}

ul.menu li a {
  display: block;
  padding: 0.2em 1em 0.1em 0.5em;
  text-decoration: none;
  background: #fafafa;
  color: #222;
  border-bottom: 1px solid #ddd;
  border-top: 1px solid #fefefe;
}

ul.menu li a:hover {
  color: #000;
  background: #FEF7ED;
  padding: 0.2em 1em 0.1em 0.55em;
}

ul.menu li a:active {
  font-weight: bold;
}

table {
  font-size: 0.9em;
}

th {
  font-weight: bold;
  font-size: 1em;
  border-top: 1px solid #fefefe;
  border-bottom: 1px solid #f0f0f0;
  background: #FEF7ED;
}


TH, TD {
  font-size: 1em;
}