tree 2893efabea5b1508159cb4856689bf097e6d3be7
parent bc45f2e3067e8113c860e6e532bdbcf4b556d5b4
author Paladox none <thomasmulhall410@yahoo.com> 1743122132 -0700
committer Paladox none <thomasmulhall410@yahoo.com> 1744300634 -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
(cherry picked from commit 331d1728d9a74fa9cdffbba3c85645a36419eff6)