div.navigation
{
   color: black;
   background-color: #CCCCCC;
   font-family: verdana,arial,helvetica;
   text-align: center;
   text-decoration: underline;
   width: 8em;
   margin-top: 0.5em;
   margin-right: 1em;
   padding: 0.5em;
   border: 1px solid black;
}

a.navigation
{
   color: black;
   background-color: #CCCCCC;
   font-family: verdana,arial,helvetica;
   text-align: center;
   text-decoration: underline;
   width: 8em;
   padding: 0.5em;
}