tree 2893efabea5b1508159cb4856689bf097e6d3be7
parent 67b12072c8e05a921324c7cebf3b3cea68f70c9a
author Paladox none <thomasmulhall410@yahoo.com> 1743122132 -0700
committer Paladox none <thomasmulhall410@yahoo.com> 1743607641 -0700

Create a gerrit theme for CodeMirror

It highlights more. To name one it does extra with is propertyName.
It also tries to align with what we do for highlight.js.

Depends-On: Ibf3b98ff6a3f2edf093bf212b5f96bc4ef315547
Change-Id: Ie2873fece99f755805afa915fe1f052d531797ed