body {
  font-family: veranda,arial,helvetica,lucida,sans-serif;
  margin: 0;
}

.urdefault {
  font-family: veranda,arial,helvetica,sans-serif;
  color: #000000;
}

.topbar {
  font-family: "courier new",courier,lucida console;
  color: #ffff00;
}

.pageheaderleft {
  font-family: arial,veranda,helvetica,lucida,sans-serif;
  font-weight: bold;
  color: #ffffff;
}

.pageheadermiddle {
  font-family: arial,veranda,helvetica,lucida,sans-serif;
  font-weight: bold;
  color: #ffffff;
}

.pageheaderright {
  font-family: arial,veranda,helvetica,lucida,sans-serif;
  font-weight: bold;
  color: #4682B4;
}

.h1 {
  font-family: veranda,arial,helvetica,lucida,sans-serif;
  font-weight: bold;
  font-size: x-large;
}

.h2 {
  font-family: veranda,arial,helvetica,lucida,sans-serif;
  font-weight: bold;
  font-size: large;
}

.h3 {
  font-family: veranda,arial,helvetica,lucida,sans-serif;
  font-weight: bold;
}

.SimpleHeading {
  color: #000000;
  font-family: arial,helvetica;
  font-weight: bold;
  font-size: 18px;
}

.SubjectHeader {
  color: #ffffff;
  background: #4682b4;
  font-family: veranda,arial,helvetica;
  font-weight: bold;
  /* text-decoration: underline; */
}

.copyright {
  font-family: veranda,arial,helvetica,lucida,sans-serif;
  font-size: x-small;
  color: #ffffff;
}

.featuresmall {
  font-family: "lucida console",lucida,veranda,arial,helvetica;
  font-size: x-small;
  color: #000000;
}

.vsection {
  /* background: #dcdcdc; */
}

.smalltable {
  font-family: veranda,arial,helvetica;
  font-size: small;
  background: #CDC0B0;
}

.downloadtable {
  font-family: veranda,arial,helvetica;
  font-size: small;
  background: #CDC0B0;
}

.downloadtableemph {
  font-family: veranda,arial,helvetica;
  font-size: small;
  background: #8FBC8F;
}

.downloadtableslateblue {
  font-family: veranda,arial,helvetica;
  font-size: small;
  background: #7ccd7c;
}

.devbuild {
  font-family: veranda,arial,helvetica;
  font-size: small;
  font-weight: lighter;
  color: #ff0000;
  background: #CDC0B0;
}

.downloadtable-latestexe {
  font-family: veranda,arial,helvetica;
  font-size: small;
  background: #2E8B57;
}