CSS modifications for header colour and code background colour.