User:John R. Brews/monobook.js

importScript("User:John R. Brews/searchbox.js")
 
// from [[User:Henrik/sandbox/google-search]] at Wikipedia (please include this line)
function install_search( )
{
document.getElementById('searchBody').innerHTML+='<div>'+
'<FORM method=get action="http://www.google.com/search">'+
'<input type=hidden name="ie" value="UTF-8" /><input type=hidden name="oe" value="UTF-8" />'+
'<INPUT id="searchInput" name="q" type="text" accesskey="f" value="" />'+
'<input type="hidden" name="domains" value="en.citizendium.org" />'+
'<input type=radio name=sitesearch value="">Web'+
'<input type=radio name=sitesearch value="en.citizendium.org" checked />CZ'+
'<INPUT type="submit" name="btnG" VALUE="Google Search" /></FORM></div>';
}
addOnloadHook(install_search);