body {
  font-family: verdana, helvetica,lucida, sans-serif;
  font-size: 12pt;
  background: #778899;
}

td {
  font-size: 80%;
}

.subm {
  font-size: 80%;
}

.title {
  font-size: 120%;
  font-weight: bold;
}

a {
  color: #000000;
  text-decoration: underline;
}

a:visited,a:active {
  color: #242424;
  text-decoration: underline;
}

ul {
  margin-left: 0px; 
  padding-left: 1.5em;
  list-style-position: outside;
}

address {
  font-size: 70%;
}

code { 
  font-size: 120%;
  font-weight: bold;
}

pre { 
  font-size: 120%;
  background-color: #E0E0E0; 
  font-family: Fixedsys,Courier;
  padding: 5px;
}