Added a little color to the <pre> tags