How to override the menu_tree without affecting the admin menus I've worked out how to override theme_menu_tree() using this code in template.php.

function myTheme_menu_tree($variables) {
  return '&lt;nav class="menu"&gt;' . $variables['tree'] . '&lt;/nav&gt;';
}


However, I've noticed that this is affecting other menus as well.

How do I target only non-admin menus?
You should use theme_menu_tree__MENU_NAME().