disable highlight.js
misc style update