--- includes/theme.inc	Mon Sep 15 18:52:48 2003
+++ contribs/theme.inc	Mon Sep 15 19:04:45 2003
@@ -94,23 +94,27 @@
   return "<span class=\"marker\">*</span>";
 }
 
-function theme_item_list($items = array(), $title = NULL) {
+function theme_item_list($items = array(), $title = NULL, $list_type = "ul") {
   /*
   ** Return a formatted array of items.
   */
-  $output .= "<div class=\"item-list\">";
+  $output .= "<div class=\"item-list\">\n";
   if (isset($title)) {
-    $output .= "<div class=\"title\">$title</div>";
+    $output .= "<div class=\"title\">$title</div>\n";
   }
 
   if (isset($items)) {
-    $output .= "<ul>";
+    $output .= "<$list_type>\n";
     foreach ($items as $item) {
-      $output .= "<li>$item</li>";
+      if (is_array($item)) {
+        $output .= "<li>".theme_item_list($item["list"], $item["title"], $item["type"])."</li>\n";
+      } else {
+        $output .= "<li>$item</li>\n";
+      }
     }
-    $output .= "</ul>";
+    $output .= "</$list_type>\n";
   }
-  $output .= "</div>";
+  $output .= "</div>\n";
   return $output;
 }