Documentation: add current page highlight in navbar