Extract Highlighter and use it in TokenSelector
Remove version.js
Ignore version.js
Uniform margins for sub navs
Fix highlighting when deselecting a highlighted token