/* Draft-review header only: retain readable menu text in every button state. */
#header .menu,
#header .menu:hover,
#header .menu:focus,
#header .menu:active {
    color: #034a5e;
    background: #edf6f6;
}