#1030 Change highlight.js color for numbers and CIF controllable events.
- A little bit darker, for better contrast with light-grey background.
Closes #1030 (closed)
Closes #1030 (closed)
Copyright © Eclipse Foundation AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent