Changes on the header and add pygments.css for hightlightments