div.navi { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; }

.button { background-color: #F2F5F8; margin-top:0.5em;
    padding: 2px 8px;
    border: 1px solid #002F60;
    box-shadow: 2px 2px 2px #888888, inset 0 0 3px #002F60;
    border-radius: 3px;  }
.button:hover { background-color: #C8C8C8 ; color:#002F60;
    box-shadow: 2px 2px 2px #888888, inset 0 0 4px #002F60; }