make options separator standout a bit better

This commit is contained in:
Raymond Hill 2018-03-06 15:47:40 -05:00
parent 15530df0e7
commit a470c119aa
No known key found for this signature in database
GPG key ID: 25E1490B761470C2
2 changed files with 4 additions and 5 deletions

View file

@ -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;

View file

@ -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) {