2018-07-10 18:37:46 +02:00
|
|
|
.editor-toolbar { background: #f1f1f1; border-radius: 0 !important; }
|
|
|
|
|
.editor-toolbar::before { margin-bottom: 2px !important }
|
|
|
|
|
.editor-toolbar::after { margin-top: 2px !important }
|
2018-10-18 22:48:18 +02:00
|
|
|
.CodeMirror, .CodeMirror-scroll { flex:1; border-radius: 0 !important; }
|
