fix resizing quirk due to new top panel (#3567)

This commit is contained in:
Raymond Hill 2018-03-04 18:09:06 -05:00
parent 84ba3e918c
commit 65e55549c7
No known key found for this signature in database
GPG key ID: 25E1490B761470C2

View file

@ -2,13 +2,22 @@
font-size: 12px;
overflow: hidden;
position: relative;
}
}
.CodeMirror {
border: 1px solid #ddd;
box-sizing: border-box;
flex-grow: 1;
height: 100%;
width: 100%;
}
}
/* For when panels are used */
.codeMirrorContainer > div:not(.CodeMirror) {
display: flex;
flex-direction: column;
height: 100%;
}
.cm-s-default .cm-comment {color: #777;}
.cm-staticext {color: #008;}
.cm-staticnet.cm-block {color: #800;}