Change highlight.js color for numbers and CIF controllable events

Instead of:

I propose:

So, #00b000 instead of #00c000.

This applies then to numbers and CIF controllable events.