Re #1335 Fixing navigation links on full doc.