a.anchor1:hover {
    background-color: #FF0000;
    margin-top:0px;
    padding:3px;
    border-style:solid;
    border-width:1px;
    color:#FFFFFF;
}
.button_color {
    background-color: #CCC;
}
a.file_list {
    background-color: #FF0000;
    margin-top:0px;
    padding:3px;
    border-style:solid;
    border-width:1px;
}