modifying prettyprint stylesheet