html, body {
    width: 100vw;
    min-height: 100vh;
    margin: 0;
    padding: 0;
}

body {
    display: grid;
    grid-template-rows: 2em 80vh auto;
    /* nav:editor ratio is 3:9 */
    grid-template-columns: minmax(200px, 3fr) 9fr;
    grid-template-areas: "nav toolbar"
			     "nav editor"
			     "nav pending";
}

#navigation {
    grid-area: nav;
    max-height: 100vh;
    background-color: #c0c0c0;
    overflow: scroll;
}

#editor {
    grid-area: editor;
    max-height: 100%;
    overflow: hidden;
    background-color: #c0c0ff;
}

#editor .CodeMirror {
    height: 100%;
}

#toolbar {
    grid-area: toolbar;
}

#pending {
    grid-area: pending;
    background-color: #c0c000;
}
