Create id_highlighter
Added id_highlighter.js to additional_javscript
Forgot .js extension
Added id_colors.js
Added pointer cursor to ids, to show clickability
Merge pull request #103 from anonfagola/patch-14

Added id highlighting