small style changes
add highlight.js highlighting