Themes

I've made a little diff to the theme index page - that lists all the themes, so that one can see the box header colour as well.  Currently, all themes with the same background look the same.  Here's the diff (it prolly looks better in a fixed width font):

--- /home/moodle/moodle_orig/theme/index.php Fri May  9 08:08:08 2003
+++ index.php Sat Jun 21 11:50:59 2003
@@ -55,11 +55,12 @@

    $themes = get_list_of_plugins("theme");

-    echo "<TABLE ALIGN=CENTER cellpadding=7 cellspacing=5>";
-    echo "<TR><TH class=\"generaltableheader\">$strtheme<TH class=\"generaltableheader\">&nbsp;</TR>";
+    echo "<TABLE ALIGN=CENTER cellpadding=7 cellspacing=1>";
+    echo "<TR><TH colspan=\"2\" class=\"generaltableheader\">$strtheme<TH class=\"generaltableheader\">&nbsp;</TR>";
    foreach ($themes as $theme) {
        include ("$theme/config.php");
        echo "<TR>";
+        echo "<TD BGCOLOR=\"$THEME->cellheading\">&nbsp;</TD>";
        if ($CFG->theme == $theme) {
            echo "<TD ALIGN=CENTER BGCOLOR=\"$THEME->body\">$theme</TD>";
            echo "<TD ALIGN=CENTER><A HREF=\"index.php?choose=$theme\">$strsavechanges</A></TD>";