more work on leftnav.js