Tweak to codehilitetable CSS