set highlighter as pygments, fix: wrong path of syntax.css,  minor-fix: indentation
update production js and css