#1030 Change highlight.js color for numbers and CIF controllable events.
requested to merge 1030-change-highlight-js-color-for-numbers-and-cif-controllable-events into develop
- A little bit darker, for better contrast with light-grey background.
Closes #1030 (closed)