a.menu0,
a.menu1,
a.menu2,
a.menu3,
a.menusel0,
a.menusel1,
a.menusel2,
a.menusel3 {
    display: block;
    line-height: 20px;
    font-size: 10pt;
    text-align: left;
    color: #ffffff;
    border-right: 1px solid #ffffff;
    float: left;
    padding: 3px 5px 3px 5px;
}

a.menu0,
a.menu1,
a.menu2,
a.menu3 {
    abackground: #aaaaaa;
}


a.menusel0,
a.menusel1,
a.menusel2,
a.menusel3 {
    abackground: #ffffff;
}

a.menu0:hover,
a.menu1:hover,
a.menu2:hover,
a.menu3:hover {
    abackground: #cccccc;
}