html, body {
    height: 100%;
}

#editor {
    height: 600px;
}

textarea, .navbar-brand {
    font-family: 'Roboto Mono', monospace;
}

.navbar-brand {
    font-size: 26px;
}

#live-mode-status {
    display: none;
}