2021-03-09 15:53:36 +01:00
|
|
|
.editor-toolbar { background: #f1f1f1; font-size: 1.2em; padding: 5px; border-color: #ddd;}
|
2018-07-10 18:37:46 +02:00
|
|
|
.editor-toolbar::before { margin-bottom: 2px !important }
|
|
|
|
|
.editor-toolbar::after { margin-top: 2px !important }
|
2021-03-09 15:53:36 +01:00
|
|
|
.CodeMirror, .CodeMirror-scroll { flex-grow: 1!important }
|
