added category filter to highlighter.js