td.menu  { text-align: left; background-color: rgb(4,45,91) }
.button1 { font: normal bold 9pt/12pt arial;
           color: rgb(4,45,91);
           width: 120px;
           height: auto;
           background-color: white;
           border: 2px solid white;
           padding: 0 0 0 8
           }
.button2 { font: normal bold 9pt/12pt arial;
           color: white;
           width: 120px;
           height: auto;
           border: 2px solid rgb(4,45,91);
           padding: 0 0 0 8
           }
.button3 { font: normal bold 9pt/12pt arial;
           color: white;
           width: 120px;
           height: auto;
           border: 2px solid orange;;
           padding: 0 0 0 8
           }a:link.button1,
a:visited.button1,
a:link.button1,   
a:hover.button1      
              { text-decoration: none }
a:visited.button2,
a:link.button2,   
a:hover.button2      
              { color: white; text-decoration: none }
a:visited.button3,
a:link.button3,   
a:hover.button3      
              { color: white; text-decoration: none }
