pygments.css file content moved to styles.css.