html, body {
    height: 100%;
    background-color: #333;
}

#editor {
    height: 600px;
}

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

footer {
    padding: 10px 0;
}

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

.ace_print-margin {
    display: none;
}

#live-mode-status {
    display: none;
    font-size: 13px;
    text-align: right;
    padding: 4px 10px 0;
    line-height: 18px;
}

#your-name-text, #your-color-text {
    font-weight: bold;
}

#your-name-text {
    width: 170px;
}

#your-color-text {
    width: 90px;
    text-align: center;
}

.jotted-nav {
    display: none !important;
}

.jotted-pane {
    width: 50% !important;
    padding-top: 0 !important;
}

.jotted-pane-css, .jotted-pane-html {
    height: 50% !important;
}

.jotted-pane-css {
    border-top: 1px solid #ccc !important;
}

#users-list {
    color: #777;
    font-size: 12px;
}