Reformatting navigation bar in ReST documentation to add Github button