Get rid of form wrapping of search box -- just use keydown
Get rid of form wrapping of search box -- just use keydown

DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc