diff -Naur -x '*Settings.php' -x CVS wikipedia.cvs20031121/includes/SkinCologneBlue.php wikipedia.cvs20031121.with-cb-go-button/includes/SkinCologneBlue.php
--- wikipedia.cvs20031121/includes/SkinCologneBlue.php	2003-11-09 11:43:15.000000000 +0000
+++ wikipedia.cvs20031121.with-cb-go-button/includes/SkinCologneBlue.php	2003-11-22 04:29:45.000000000 +0000
@@ -227,9 +227,9 @@
 		  wfLocalUrlE( "" ) . "\">";
 		if ( "" != $label ) { $s .= "{$label}: "; }
 
-		$s .= "<input type=text name=\"search\" size=10 value=\""
+		$s .= "<input type=text name=\"search\" size=14 value=\""
           . htmlspecialchars(substr($search,0,256)) . "\">"
-		  . "<input type=submit value=\"" . wfMsg( "ok" ) . "\"></form>";
+		  . "<br><input type=submit name=\"go\" value=\"" . wfMsg( "go" ) . "\"> <input type=submit value=\"" . wfMsg( "search" ) . "\"></form>";
 
 		return $s;
 	}