From f4391adc5cc85ca46bc31ee09f444e963a14b8b8 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sat, 11 Mar 2023 20:36:05 -0500
Subject: [PATCH] Fix
 https://github.com/uBlockOrigin/uBlock-issues/discussions/2539

---
 src/advanced-settings.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/advanced-settings.html b/src/advanced-settings.html
index 3bffcebe8..080aef8dc 100644
--- a/src/advanced-settings.html
+++ b/src/advanced-settings.html
@@ -23,7 +23,7 @@
         <button id="advancedSettingsApply" class="preferred" type="button" disabled data-i18n="genericApplyChanges">_<span class="hover"></span></button>&ensp;
 </div>
 
-<div id="advancedSettings" class="codeMirrorContainer"></div>
+<div id="advancedSettings" class="codeMirrorContainer cm-theme-override"></div>
 
 <script src="lib/codemirror/lib/codemirror.js"></script>
 <script src="lib/codemirror/addon/selection/active-line.js"></script>