add highlight.js and solarize dark theme