Changing width="22" for /pix/help.gif to width="17"

2005-05-10 00:21:09 +00:00
parent b1aa9a39a2
commit 1fd3772bc5
1 changed files with 1 additions and 1 deletions
@@ -635,7 +635,7 @@ function install_helpbutton($url, $title='') {
        $title = get_string('help');
    }
    echo "<a href=\"javascript: void(0)\">";
-    echo "<img src=\"./pix/help.gif\" height=\"17\" width=\"22\" alt=\"$title\"";
+    echo "<img src=\"./pix/help.gif\" height=\"17\" width=\"17\" alt=\"$title\"";
    echo "border=\"0\" align=\"middle\" title=\"$title\" ";
    echo "onClick=\"return window.open('$url', 'Help', 'menubar=0,location=0,scrollbars,resizable,width=500,height=400')\">";
    echo "</a>\n";