CSS tweaks for red thingie
Nicer code colour
something more about identifiers