Widen search box in header

I'm glad to see the search box in the header is getting more useful, however we found it to be way too small so I edited one of the header JSPs and make the box much wider. You might find this useful for a future version of Jira (see attached screen shot).