html, body {
height: 100%;
}
#editor {
height: 600px;
textarea {
font-family: 'Roboto Mono', monospace;