a#index, a#index:hover {
    display: block;  
    margin-left: 0px;
    margin-right: 10px;
    margin-bottom: 10px;

    border: 1px solid #FFFFFF; /* #CCCCCC; */
    padding: 5px 10px 5px 10px;

    color: #000000;
    text-decoration: none;
    line-height: 1.2em;

    /* font-family: Georgia, Times New Roman, Times, Serif; */
    /* font-size: 80%; */
    font-weight: bold;
    /* background-color: #FFF0F0; */
}