Reformat nav code.