A highlighter for firefox