/**
 * menu bg: #dedede
**/

body {
    margin: 0;
    padding: 0;
}

body > menu {
    display: block;
    background: #dedede;
    margin: 0;
}

body > menu ul {
    list-style-type: none;
    margin: 0;
}

body > menu li {
    display: inline-block;
    margin: 0.5em 0.75em;
}

body > menu a {
    display: inline-block;
    border: 1px solid black;
    margin: 0;
    padding: 0.5em 0.75em;
    color: black;
}

body > menu a:hover {
    border-color: grey;
    color: grey;
}

body > .page {
    width: calc(100vw - 200px);
    margin: auto;
    padding-top: 5em;
}

@media screen and (max-width: 800px) {
    body > .page {
        width: 100%;
        margin: 0;
    }
}

.page textarea {
    width: 100%;
    max-width: 100%;
    min-height: 35em;
    display: block;
}

#error {
    background: #ff4646;
    border: 2px solid #810000;
    margin: 1em 0;
    padding: 0.33em;
}

#error.hidden {
    display: none;
}