.menu_button {
    position: relative;
}

.menu_button button {
    font-size: 110%;
}

ul[role="menu"] {
    margin: 0;
    padding: 0;
    position: absolute;
    font-size: 110%;
    list-style: none;
    background-color: #eee;
    display: none;
}

ul[role="menu"] li[role="menuitem"] {
    display: block;
    padding: 0.25em;
    padding-left: 0.5em;
    padding-right: 0.5em;
    background-color: #e1e1e1;
    color: black;
    font-weight: bold;
    width: 4em;
}


/* focus and hover styling */

button:focus,
button:hover,
input:focus,
input:hover {
    outline: 2px solid black;
}

input:focus,
input:hover {
    background-color: #eee;
}

ul[role="menu"] li[role="menuitem"]:focus,
ul[role="menu"] li[role="menuitem"].focus,
ul[role="menu"] li[role="menuitem"]:hover {
    background-color: #005a9c;
    color: white;
}