From 4b3c26074419afac19c2d4dc8fc613030c5ddb02 Mon Sep 17 00:00:00 2001 From: overdodactyl Date: Sun, 15 Apr 2018 17:55:17 -0600 Subject: [PATCH] code mirror selection background --- css/userContent-files/webextension-tweaks/generic_style.css | 3 +++ userContent.css | 3 +++ 2 files changed, 6 insertions(+) diff --git a/css/userContent-files/webextension-tweaks/generic_style.css b/css/userContent-files/webextension-tweaks/generic_style.css index 7588140..a4df95d 100644 --- a/css/userContent-files/webextension-tweaks/generic_style.css +++ b/css/userContent-files/webextension-tweaks/generic_style.css @@ -154,6 +154,9 @@ url-prefix("moz-extension://greasemonkey_UUID/src/content/edit-user-script") { div.CodeMirror-selected { background: var(--cm-selection)!important } + div.CodeMirror-selected { + background: #353b48!important + } .CodeMirror-gutters { background: var(--theme-sidebar-background)!important; border-right: 0 solid!important diff --git a/userContent.css b/userContent.css index db89c2b..09a993f 100644 --- a/userContent.css +++ b/userContent.css @@ -1249,6 +1249,9 @@ url-prefix("moz-extension://greasemonkey_UUID/src/content/edit-user-script") { div.CodeMirror-selected { background: var(--cm-selection)!important } + div.CodeMirror-selected { + background: #353b48!important + } .CodeMirror-gutters { background: var(--theme-sidebar-background)!important; border-right: 0 solid!important