html {
    box-sizing: border-box;
    font-family: monospace;
}

body {
    margin: 0;
    background-color: #1e1e1e;
    color: #dadada;
}

#content {
    margin: auto;
    display: flex;
    flex-wrap: wrap;
    align-items: stretch;
}

#content > * {
    min-width: 400px;
    flex: 1 1 50%;
    height: calc(100vh - 40px - 35px);
    overflow: hidden;
}

.error {
    color: #d16969;
}

footer {
    text-align: center;
    padding: 10px 0 8px 0;
}

footer a {
    color: #ffb928;
}

footer a:hover {
    color: #9ddfe9;
}

header {
    display: flex;
    flex-wrap: wrap;
}

header h1 {
    margin: 0;
    padding: 0 15px;
    color: #ffb928;
    font-size: 36px;
    min-width: max-content;
}

nav {
    flex-grow: 1;
}

nav ul {
    padding: 0;
    margin: 0;

    height: 100%;

    display: flex;
    align-items: center;
}

nav ul li {
    list-style-type: none;
    max-width: 150px;
    flex-grow: 1;
    text-align: center;
}

nav ul li a {
    display: block;
    text-decoration: none;
    border: 1px solid #ffb928;
    font-size: 20px;
    margin: 0;
    height: 100%;

    color: #ffb928;
}

nav ul li .selected {
    color: #2c2c2c;
    background-color: #ffb928;
}

nav ul li:hover {
    background-color: #ffb928cc;
}

nav ul li a:hover {
    color: #2c2c2c;
    border-color: #ffb928cc;
}

nav ul li {
    margin: 2px;
}

#about {
    background-color: #3e3e3e;
    display: none;
}

#about div {
    margin: 20px auto 0;
    padding: 20px;
    width: 400px;
    background-color: #1e1e1e;
}

#about a {
    color: #ffb928;
}

#about a:hover {
    color: #9ddfe9;
}

.center {
    text-align: center;
}

#output-js, .CodeMirror {
    display: 'block';
}

#recompile-button {
    display: none;
}

@media (pointer: coarse) {
    #recompile-button {
        margin: 10px 0;
        display: block;

        height: 50px;
        width: 100%;

        background-color: #ffb928;
        color: #2c2c2c;
    }
}