body, div, p, th, td, li, dd {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 10pt;
}
.button{
   padding:0 .25em 0 .25em;
   width:auto;
   overflow:visible;
}
.bordered { 
  border-style: solid;
  border-width: 1;
  border-color: rgb(0, 0, 96);
}
a:link {
  color: rgb(0, 0, 128);
  text-decoration: none;
  font-weight: bold;
}
a:visited {
  color: rgb(0, 0, 128);
  text-decoration: none;
  font-weight: bold;
}
a:active {
  color: rgb(0, 0, 255);
  text-decoration: none;
  font-weight: bold;
}
a:hover {
  color: rgb(128, 128, 255);
  text-decoration: underline;
  font-weight: bold;
}


h1 a:link {
  color: rgb(0, 0, 128);
  text-decoration: none;
  font-weight: bold;
}
h1 a:visited {
  color: rgb(0, 0, 128);
  text-decoration: none;
  font-weight: bold;
}
h1 a:active {
  color: rgb(0, 0, 128);
  text-decoration: none;
  font-weight: bold;
}
h1 a:hover {
  color: rgb(0, 0, 255);
  text-decoration: none;
  font-weight: bold;
}