a.menu
{
  color: yellow;
  text-decoration: none;
  font-size: 85%;
  font-weight: bold;
  display: block;
  margin: 0;
  margin-bottom: 2px;
}

a:hover.menu
{
  background-color: #787878; /*#380000;*/
  color: white;
}

a
{
  color: maroon;
  text-decoration: none;
}

a:hover
{
  /*background-color: #680000;*/
  color: white;
}

a.header{ display: inline; }


.title
{
  font-size: 150%;
  text-align: center;
  text-decoration: underline;
}

.alert{ background: #680000; color: #DFDFDF; font-weight: bold;
        text-align: center; padding: .25em; }