Change highlight to pygments.css in default.html