#menu {
    border:   0px;
    margin:   0px;
    padding:  0px;
    width:    120px;
    position: relative;
    top:      10px;
    right:    0px;
}

#menu a {
    border:          0px;
    margin:          0px 0px 3px 6px;
    padding:         3px;
    width:           108px;
    font-family:     verdana;
    font-size:       11px;
    font-weight:     normal;
    text-decoration: none;
    color:           #093162;
    display:         block;
    float:           left;
}

    * html #menu a { /* IE box hack. */
        margin: 0px 0px 3px 3px;
        width:  112px;
    }

#menu a:hover {
    color:            #ffffff;
    background-color: #a2b2c2;
}

#menu div {
    border:           0px;
    margin:           0px;
    padding:          1px 0px 0px 0px;
    width:            120px;
    position:         absolute;
    top:              0px;
    left:             0px;
    visibility:       hidden;
    background-color: #ffffff;
}

#menu div a {
    border-top:       0px;
    border-right:     1px solid #ffffff;
    border-bottom:    0px;
    border-left:      1px solid #ffffff;
    margin:           0px 0px 1px 0px;
    padding:          3px;
    width:            112px;
    font-family:      verdana;
    font-size:        11px;
    text-decoration:  none;
    color:            #093162;
    display:          block;
    float:            left;
    background-color: #a2b2c2;
}
    * html #menu div a { /* IE box hack. */
        width:  120px;
    }

#menu div a:hover {
    color: #ffffff;
}