Er, much better wayto do dividiers

diff --git a/lib/weblib.php b/lib/weblib.php
index 042be9ffaf8088d0a994adcb76a072a0e7d46485..88a0f90b82c747003b5c2ab50b86205f402a23b0 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1338,7 +1338,7 @@ function print_table($table) {
         foreach ($table->data as $row) {
             echo "<tr valign=\"top\">";
             if ($row == "hr" and $countcols) {
-                echo "<td colspan=\"$countcols\"><hr noshade=\"noshade\" size=\"1\" color=\"$THEME->borders\"></td>";
+                echo "<td class=\"tabledivider\" colspan=\"$countcols\"></td>";
             } else {  /// it's a normal row of data
                 foreach ($row as $key => $item) {
                     if (!isset($size[$key])) {