* Removed unused `div#top-navigation-menu` definition