a.menu {
    background-color: #000000;
    color:            #884444;
    padding-left:      4;
    padding-right:     4;
    padding-top:       2;
    padding-bottom:    4;
    text-decoration:   none;
    font-size:         8pt;
}