Update jshighlight-default.css