Remove unnecessary highlight.js theme