Small tweak to styling of printed code