Improved navigation for the Scala docs