Removing navigation text configuration from source.

Navigation is now solely defined by the HTML templates, instead of
through a combination of HTML templates and source.