.navigation 
  {
    background: rgb(250,250,245);
    color:      rgb(120,120,0);
    text-align:center;
    padding:1em;
    margin-top:1em;
    margin-left:auto;
    margin-right:auto;
    margin-bottom:1em;
    clear:both;
    border-top:3px gold outset;
    border-bottom:3px gold groove;
  }
div.navigation p
 {
    margin:.25em;
    padding:2pt;
 }
a.navlink
  {
    font-family:Verdana,Arial,Helvetica,sans-serif;
    background: rgb(250,250,245);
    color:      rgb(60,60,160);

    font-size:        90%;
    text-decoration:  none;
  }
 
a.navlink:hover   
  {
    background: rgb(200,255,250);
    color:      rgb(60,60,200);
  }