Some small style changes for tabs

diff --git a/mod/workshop/lib.php b/mod/workshop/lib.php
index 556a141d354ac606313d08989f253a8a4822a0fc..adcd0325152086f4c8f9292b931ea603796d020e 100644 (file)
--- a/mod/workshop/lib.php
+++ b/mod/workshop/lib.php
@@ -3475,9 +3475,9 @@ function workshop_print_tabbed_heading($tabs) {
                 $wrapping = "";
             }
                        if ($key == $tabs->highlight) {
-                               echo "<td valign=top $alignment $width $wrapping bgcolor=\"$THEME->cellheading2\">$tab</td>\n";
+                               echo "<td valign=top class=\"generaltabselected\" $alignment $width $wrapping bgcolor=\"$THEME->cellheading2\">$tab</td>\n";
                        } else {
-                               echo "<td valign=top $alignment $width $wrapping bgcolor=\"$THEME->body\">$tab</td>\n";
+                               echo "<td valign=top class=\"generaltab\" $alignment $width $wrapping bgcolor=\"$THEME->cellheading\">$tab</td>\n";
                        }
                echo "<td  class=\"generaltablecell\">".
                        "<img width=\"10\" src=\"$CFG->wwwroot/pix/spacer.gif\" alt=\"\"></td>\n";