Fix editor spacing

This commit is contained in:
kolaente 2020-10-18 21:11:54 +02:00
parent e1004d218a
commit 91c49352b6
No known key found for this signature in database
GPG key ID: F40E70337AB24C9B

View file

@ -387,7 +387,7 @@ export default {
} }
.CodeMirror { .CodeMirror {
padding: 0; padding: .5rem;
border: 1px solid $editor-border-color; border: 1px solid $editor-border-color;
&-lines pre { &-lines pre {
@ -395,8 +395,12 @@ export default {
} }
} }
.CodeMirror-scroll { .editor-preview {
padding: .5em; padding: 0;
&-side {
padding: .5rem;
}
} }
.editor-toolbar { .editor-toolbar {