.menu {
    float: right;
    top: 1ex;
    right: 1ex;
    position: fixed;
    z-index: 1;
}

.menu-content {
    display: block;
    visibility: hidden;
    position: absolute;
    top: 2ex;
    right: 1ex;
    background-color: #f1f1f1;
    z-index: 1;
}

.menu-content a {
    color: black;
    padding: 1ex 2ex;
    text-decoration: none;
    display: block;
    white-space: nowrap;
    font-family: Arial, Helvetica, sans-serif;
    z-index: 1;
}

.menu-content span {
    color: gray;
    padding: 1ex 2ex;
    text-decoration: none;
    display: block;
    white-space: nowrap;
    font-family: Arial, Helvetica, sans-serif;
    z-index: 1;
}

.menu-content a:hover {
    background-color: #ddd;
}

@media (pointer: coarse) {
    html {
        font-size: 150%;
        -moz-text-size-adjust: none;
        -webkit-text-size-adjust: none;
    }
}

button, input {
    font-size: inherit;
}

input[type="text"] {
    width: 100%;
    box-sizing: border-box;
}

table {
    width: 100%;
}

table tr:nth-child(1) td {
    padding-bottom: 0.75em;
}

table tr td:nth-child(1) {
    width: 0;
    white-space: pre;
}

table tr td:nth-child(2) {
    width: 99%;
}

table tr td:nth-child(3) {
    width: 0;
}