Custom menus are not wrapped in div class="menu" tags

Custom menus are not wrapped in div class="menu" tags, so their appearance may be different to the built-in "navigation" menu.

I'm not sure where this should *really* be fixed, but adding this to menu.module does the trick for me:

diff -u -r1.21 menu.module
--- modules/menu.module 14 Oct 2004 21:35:12 -0000      1.21
+++ modules/menu.module 19 Oct 2004 12:34:34 -0000
@@ -86,7 +86,7 @@
   }
   else {
     $data['subject'] = $menu['items'][$delta]['title'];
-    $data['content'] = theme('menu_tree', $delta);
+    $data['content'] = '<div class="menu">' . theme('menu_tree', $delta) . '</div>' ;
     return $data;
   }
 }

(also attached as a patch).