Make the search bar prettier.

Add a highlight on the top, a gradient, and a shadow on the bottom. Mostly, it's just pretty, but the dark border on the bottom makes it a tiny bit less surprising when the scrolled content goes behind the bar: it's easier to see the boundary.