[themes] Overriding menu_tree