Change colour of <code>, <kbd> and <pre> elements to a dark green.

This makes them more distinct from the standard dark blue that is used
to indicate "visited link".