Make navbar JS easier to read and more portable (works also on the brand-new "Coding" menu).
Remove pager.js, as it serves no purpose whatsoever now that paging is done at compile time.