Catch HTMLwithPygments