#menu {
background-color: #E1DEDE;
color:            #00584c;
width:            100%;
border:           1px solid #CCCCCC;

/*
border-bottom:    1px dotted #CCCCCC;
*/
font-size: 80%;	
}

.selected {
background-color: #E1DEDE;
width:            100%;
border-bottom:    1px solid #CCCCCC;
font-weight:      bold;
}

.lastselected {
background-color: #E1DEDE;
width:            100%;
border-bottom:    1px solid #CCCCCC;
font-weight:      bold;

}

.nonselected {
background-color: #E1DEDE;
width:            100%;
border-bottom:    1px solid #CCCCCC;
}

a {
color:            #00584c;
text-decoration:  none;
}

/* For Firefox and IE */
a:hover {
color:            #00584c;
font-weight:      bold;
}