.headline        {font-family: Arial;
                  font-size: 120%;
                  color: navy;
                  font-weight: bold;
                  white-space: nowrap;
                 }

span.red         {color: white;
                  background-color: red;
                 }

span.navy        {color: white;
                  background-color: navy;
                 }

.border          {
                  border-bottom: thick dotted navy;
                 }

body             {font-family: Arial, sans-serif;}

.menu            {margin: 0;
                  font-size: 75% /*smaller*/;
                  font-weight: bold;
                  line-height: 2.0;
                  text-align: left;
                 }

.menu p          {margin: 0;
                  padding: 0.0em 0.0em 1.0em 0.0em;
                  font-weight: bold;
                  bgcolor: navy;
                  color: #C0C0C0;
                  font-size: .75em;
                 }

.menu a:link    { text-decoration: none;  color: #C0C0C0 }
.menu a:visited { text-decoration: none;  color: #C0C0C0 }
.menu a:hover   { background:      white; color: navy    }