2019-05-25 12:14:49 +02:00
|
|
|
.editor-toolbar { background: #f1f1f1; border-radius: 0 !important; font-size: 1.5em;}
|
2018-07-10 18:37:46 +02:00
|
|
|
.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; }
|
2019-05-25 12:14:49 +02:00
|
|
|
.editor-toolbar .fa { color: #555;}
|
