modify pygments.css; add post parameter to pig