Fix editor border color

This commit is contained in:
kolaente 2020-07-12 16:59:43 +02:00
parent 3e1df17643
commit fbc5c6e922
Signed by: konrad
GPG Key ID: F40E70337AB24C9B
2 changed files with 6 additions and 0 deletions

View File

@ -187,6 +187,7 @@
.CodeMirror {
padding: 0;
border: 1px solid $editor-border-color;
&-lines pre {
margin: 0 !important;
@ -199,6 +200,9 @@
.editor-toolbar {
background: #ffffff;
border-top: 1px solid $editor-border-color;
border-left: 1px solid $editor-border-color;
border-right: 1px solid $editor-border-color;
button {
svg {

View File

@ -51,3 +51,5 @@ $hamburger-menu-icon-spacing: 1rem;
$hamburger-menu-icon-width: 28px;
$navbar-height: 4rem;
$navbar-width: 17vw;
$editor-border-color: #ddd;