html, body {height: 100%; position: relative;}

.CodeMirror {position: absolute !important; padding-top: 50px; top: 0;}
.gr-ext {background-color: #fff34f; color: #5a571c;}
.gr-coptic {background-color: #a9e287; color: #2f670e;}
.num {background-color: #ffc107; color: #7d5f05;}
.latin {background-color: #f3435b; color: #77111f;}
.unwanted {background-color: #f3435b; color: #77111f;}
.punctuation {background-color: #dbf5cb; color:#2f670e;}

.btn-mark-greek-coptic:before,
.btn-mark-greek-ext:before,
.btn-mark-num:before,
.btn-mark-latin-red:before,
.btn-mark-unwanted:before,
.btn-mark-punctuation:before {content: ' '; position: absolute; top: 0; left: 0; width: 5px; height: 100%; background-color: #a9e287;}

.btn-mark-greek-coptic {position: relative;}
.btn-mark-greek-ext {position: relative;}
.btn-mark-greek-ext:before {background-color: #fff34f;}
.btn-mark-num {position: relative;}
.btn-mark-num:before {background-color: #ffc107;}
.btn-mark-latin-red {position: relative;}
.btn-mark-latin-red:before {background-color: #f3435b;}
.btn-mark-unwanted {position: relative;}
.btn-mark-unwanted:before {background-color: #f3435b;}
.btn-mark-punctuation {position: relative;}
.btn-mark-punctuation:before {background-color: #dbf5cb;}