gistfile1.js

// ==UserScript==
// @match http://developer.android.com/*
// ==/UserScript==

var elem = document.getElementById('search-container');

document.addEventListener("keypress", function(e) { 
	if (e.which == 47) { // '/', like in vim
		if (document.createEvent) {
			var ev = document.createEvent('MouseEvents');
			ev.initEvent('mouseover', true, false);
			elem.dispatchEvent(ev);
		} else if (document.createEventObject) {
			elem.fireEvent('onmouseover');
		}
		e.preventDefault();
	}
}, false);