Fixed nav highlighting JS in docs