[Savannah-hackers-public] Patch for savannah frontend

[Lukas Diener]

Dear everyone

As per the HowToBecomeASavannahHacker wiki page, I would like to 
introduce myself a bit to be able to contribute a small patch to the 
savannah project.

My name is Lukas, I'm a programmer and teacher from Switzerland. I don't 
have much of a background with free software other than using the usual 
mainstream software (bash, GIMP, Gzip, Wget). I did attend a talk of Mr. 
Stallman at the University of Berne, Switzerland about 2 years ago 
though. My savannah username is Lukas_Skywalker.

Regarding the patch: the search box in the left naviational menu of 
savannah was overflowing the menu bar on Firefox. This attached patch 
fixes that.

Best regards, Lukas

search.diff
Description: search.diff