sync w/ pull request to highlight.js
add iconic theme, numerous fixes for additional elements