/*
.stdbutton {
 display: inline;
 border-width: 1px;
 border-color: black;
 border-style: solid;
 background-color: #99CCFF;
 text-decoration: none;
 font-size: 11px;
 color: #000000;
 font-weight: bold;
 padding: 2px;
 padding-right : 20px;
 padding-left : 20px;
}
.stdbutton:hover {
  color: #ffffff;
  background-color: #01478B;
  text-decoration: none;
}
*/