body {
    background-color: #f0f8ff;
    width: 100vw;
    height: 100vh; /* Fallback in case dvh is not supported. */
    height: 100dvh;
    box-sizing: border-box;
    margin: 0;
    padding: 1rem;
    display: flex;
    flex-direction: column;
    font-family: "Roboto", sans-serif;
}
.with-translation-underlabel {
    display: inline-flex;
    flex-direction: column;
    align-items: center;
    gap: .5em;
}
.translation-underlabel {
    font-size: 85%;
}

h1 {
    font-size: 1.5rem;
    font-weight: normal;
}

.menu-button {
    width: 100%;
    padding: 1em 1em;
    text-align: left;
}

button.menu-button {
    background-color: transparent;
    border-radius: 0;
}

select.menu-button {
    margin: 0 1em;
    padding: .75em 0;
    width: calc(100% - 2em);
}

button {
    border: 0;
    background-color: #bee3ff;
    color: #0f385c;
    border-radius: 1em;
    padding: .5em .75em;
    font-size: 1em;
}
button:hover, button:focus, button:focus-visible {
    background-color: #bee3ff;  /* FIXME(strager) */
}
button:focus-visible {
    box-shadow: 0 0 0 .25em #4689c8;
    /* Disable default outlines on Firefox on macOS. */
    accent-color: rgba(0, 0, 0, 0);
    outline: 0;
}
button:active {
    background-color: #0f385c;
    color: #ffffff;
}