body {
    background-color: #111111;
    color: #F0F0F0;
    font-family: monospace;
    font-size: 14pt;
}

.flexrow {
    display: flex;
}

input[type="text"]
{
    font-size: 14pt;
    color: #F0F0F0;
    background-color: #101010;
    border: 2px solid #808080;
}

textarea.code {
    font-size: 80%;
    color: #F0F0F0;
    background-color: #101010;
    border: 2px solid #808080;
}

.pre {
    font-family: monospace;
    font-size: 80%;
    white-space: pre;
}

table {
    border-collapse: collapse;
}

th {
    padding: 0.3em;
}

td {
    border: 2px solid #808080;
    padding: 0.3em;
}

canvas.display {
    border: 3px solid #808080;
    width: 1024px;
    height: 720px;
}

.hidden {
    display: none;
}

.centered-div {
    max-width: fit-content;
    margin-left: auto;
    margin-right: auto;
}