Changed pygments stylesheet to use 'colorful' theme.