/* The contents of this file were part of the previous menu/navigation system.
   The file was not deleted as it is called by most pages on the site.
   The original file was backed up (core.js.bak).
*/