Finally figured out that triple --- does not work for github on html comments in .md files
Fixing nav bar again.