From a470c119aaaa8ddd71e22c026e2ddfd8de48220f Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Tue, 6 Mar 2018 15:47:40 -0500
Subject: [PATCH] make options separator standout a bit better

---
 src/css/codemirror.css                    | 3 +--
 src/js/codemirror/ubo-static-filtering.js | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/css/codemirror.css b/src/css/codemirror.css
index c02839677..772a91140 100644
--- a/src/css/codemirror.css
+++ b/src/css/codemirror.css
@@ -20,10 +20,9 @@
 
 .cm-s-default .cm-comment { color: #777; }
 .cm-staticext { color: #008; }
-.cm-staticextAnchor { font-weight: bold; }
 .cm-staticnetBlock { color: #800; }
 .cm-staticnetAllow { color: #004f00; }
-.cm-staticnetOpt { font-weight: bold; }
+.cm-staticOpt { background-color: #ddd; font-weight: bold; }
 
 .cm-search-widget {
     align-items: center;
diff --git a/src/js/codemirror/ubo-static-filtering.js b/src/js/codemirror/ubo-static-filtering.js
index 28e8d6b5b..f49ff3f06 100644
--- a/src/js/codemirror/ubo-static-filtering.js
+++ b/src/js/codemirror/ubo-static-filtering.js
@@ -33,9 +33,9 @@ CodeMirror.defineMode("ubo-static-filtering", function() {
     var lineMatches = null;
 
     var lineStyles = new Map([
-        [ 'staticext',      [ '', 'staticextAnchor', '' ] ],
-        [ 'staticnetAllow', [ '', 'staticnetOpt', '' ] ],
-        [ 'staticnetBlock', [ '', 'staticnetOpt', '' ] ],
+        [ 'staticext',      [ '', 'staticOpt', '' ] ],
+        [ 'staticnetAllow', [ '', 'staticOpt', '' ] ],
+        [ 'staticnetBlock', [ '', 'staticOpt', '' ] ],
     ]);
 
     var styleFromStream = function(stream) {