Fixed nav hightlighting JS in docs