1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Consolidate duplicates

This commit is contained in:
Mauricio Bonani 2020-02-29 15:14:57 -05:00 committed by GitHub
parent c9ad5bea93
commit 8a82552bdc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,19 +9,15 @@
color: transparent !important; color: transparent !important;
} }
} }
.ace_gutter { .ace_gutter {
background: $text-editor-gutter-background;
border-top-left-radius: 4px; border-top-left-radius: 4px;
border-bottom-left-radius: 4px; border-bottom-left-radius: 4px;
} }
.ace_scroller { .ace_scroller {
background: $text-editor-background;
border-top-right-radius: 4px; border-top-right-radius: 4px;
border-bottom-right-radius: 4px; border-bottom-right-radius: 4px;
}
.ace_scroller {
background: $text-editor-background;
color: $text-editor-color; color: $text-editor-color;
} }
.ace_marker-layer .ace_active-line { .ace_marker-layer .ace_active-line {
@ -37,9 +33,6 @@
.ace_gutter-active-line { .ace_gutter-active-line {
background: $text-editor-gutter-active-line-background; background: $text-editor-gutter-active-line-background;
} }
.ace_gutter {
background: $text-editor-gutter-background;
}
.ace_tooltip { .ace_tooltip {
font-family: $primary-font; font-family: $primary-font;
line-height: 1.4em; line-height: 1.4em;