From 9586c1dd6b149e86c37dee14f2dcac4bdcf861f2 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 26 Jan 2004 09:54:40 +0000
Subject: [PATCH] Er, much better wayto do dividiers

---
 lib/weblib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index 042be9ffaf..88a0f90b82 100644
--- 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])) {
-- 
2.39.5