:root {
   --pink-color: #DF3047; 
}

#menu {
    /*		border: thin solid yellow;*/
    position: absolute;
    bottom: 8px;
    right: 40px;
    /*		width: 340px;*/
    color: white;
}

.menu {
}

.menu ul {
    margin: 0;
    padding: 0;
    float: left;
}

.menu ul li {
    display: inline;
    font-size: 110%;
    font-family: arial;
    font-weight: 200;
    text-align: left;
}

.menu ul li a {
    float: left; text-decoration: none;
    color:  white;
    padding: 0px 0px 0px 17px;
}

/*	.menu ul li a:visited {
                color: white;
        }*/

#menu, .menu ul li a, .menu ul li a:visited {
    /*		color: #B0D971;*/
    /*		font-weight: 600;*/
}

.menu ul li a:hover, .menu ul li .current {
    /*color: #ED8794; #E86D7E this gives contrast 3:1 */
    color: var(--pink-color); /*#E86D7E; xxx */
}
.current {
    text-decoration: overline !important;
}