update stylesheet for pygments.