.codearea {
    height: 600px;
    display: block;
    width: 100%;
    font-family: monospace;
    white-space: pre;
    resize: none;
    border: none;
    /* TODO still some differences in appearance between editor and output */
}

.main-footer {
    text-align: center;
}