diff options
Diffstat (limited to 'web_src/less/themes')
| -rw-r--r-- | web_src/less/themes/theme-arc-green.less | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/web_src/less/themes/theme-arc-green.less b/web_src/less/themes/theme-arc-green.less index 49a86de99d..2d097a6553 100644 --- a/web_src/less/themes/theme-arc-green.less +++ b/web_src/less/themes/theme-arc-green.less @@ -1267,19 +1267,6 @@ a.blob-excerpt:hover { /* code mirror dark theme */ .CodeMirror { - color: #9daccc; - background-color: #2e323e; - border-color: var(--color-secondary); - border-top: 0; - - div.CodeMirror-cursor { - border-left: 1px solid var(--color-secondary-dark-6); - } - - .CodeMirror-gutters { - background-color: #2e323e; - } - &.cm-s-default, &.cm-s-paper { .cm-property { |