a.button {
  display: block;
  font-family: dialog, arial, helvetica, sans-serif;
  font-size: 8pt;
  font-style: normal;
  text-align: center;
  background-color: #000080;
  width: 120px;
  height: 24px;
  line-height: 24px;
  color: white;
  text-decoration: none;
  vertical-align: bottom
}

a.button:hover {
  background: #000080 url(images/hover-glow-blue-120x24.png) no-repeat;
}
div.copyright {
   font-family: arial, helvetica, sans-serif;
   font-size: x-small
}
.banner {
   color: blue;
   font-size: smaller;
   text-align: center;
   font-weight: bold;
   margin-top: 0.25em;
   margin-bottom: 0.25em
}