div#main{
    height: 98vh;
}

div#cc{
    width: 100%;
    height: 100%;
    nav-index: 1;
}

#editor{
    width:100%;
    height:100%;
    margin-top: 0;
    margin-left: 0;
}

.cm-editor{
    height: 100%;
    width: 100%;
    overflow: auto;
}

.cm-scroller{
    overflow: auto;
    max-width: 500px;
}

div#hres{
    border: thin solid white;
}
div#vres{
    border: thin solid white;
}

div#edmenu select{
    max-width: 65%;
    /* playing with different cursor shapes */
    /* cursor: zoom-in; */
}

div.terminal{
    height: 100%;
    width: 100%;
}