From 58b963a14ff8ef8544e96fc20e494c8ab506a631 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Sun, 20 Jan 2002 16:08:33 +0000
Subject: [PATCH] CSS font size for IE

---
 left.php3 | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/left.php3 b/left.php3
index e6cd10f63..47c82189f 100755
--- a/left.php3
+++ b/left.php3
@@ -288,7 +288,11 @@ if ($num_dbs > 1) {
                     $table      = mysql_tablename($tables, $j);
                     $table_list .= '    <nobr><a target="phpmain" href="sql.php3?' . $common_url_query . '&amp;table=' . urlencode($table) . '&amp;sql_query=' . urlencode('SELECT * FROM ' . PMA_backquote($table)) . '&amp;pos=0&amp;goto=tbl_properties.php3">' . "\n";
                     $table_list .= '              <img src="images/browse.gif" border="0" alt="' . $strBrowse . ': ' . $table . '" /></a><bdo dir="' . $text_dir . '">&nbsp;</bdo>' . "\n";
-                    $table_list .= '          <a class="tblItem" title="' . str_replace('"', '&quot;', $tooltip[$table]) . '" target="phpmain" href="tbl_properties.php3?' . $common_url_query . '&amp;table=' . urlencode($table) . '">' . $table . '</a></nobr><br />' . "\n";
+                    if (PMA_USR_BROWSER_AGENT == 'IE') {
+                        $table_list .= '          <a class="tblItem" title="' . str_replace('"', '&quot;', $tooltip[$table]) . '" target="phpmain" href="tbl_properties.php3?' . $common_url_query . '&amp;table=' . urlencode($table) . '"><span class="tblItem">' . $table . '</span></a></nobr><br />' . "\n";
+                    } else {
+                        $table_list .= '          <a class="tblItem" title="' . str_replace('"', '&quot;', $tooltip[$table]) . '" target="phpmain" href="tbl_properties.php3?' . $common_url_query . '&amp;table=' . urlencode($table) . '">' . $table . '</a></nobr><br />' . "\n";
+                    }
                 } // end for $j (tables list)
 
                 if (!$table_list) {