a:link {
  color: #00478D;
}

a:visited {
  color: #00478D;
}

a:hover {
  text-decoration: none;
}

a:active {
  color: #00478D;
}

body {
  background-color: #EFEFEF;
  font-family: Arial, "Times New Roman", Times, sans-serif;
  padding: 10px 20px 10px 20px;
}

p {
  text-align: justify;
  margin: 0px 0px 0px 0px;
}

ul {
  text-align: justify;
}

h4 {
  font-size: 2em;
}

/* Note: Compensates for IE acronym dotted underline bug */
acronym {
  border-bottom: 1px dotted #000000;
  cursor: help;
}

table {
  margin: 15px;
}