Search results not scrollable

[computermacgyver]

When searching a common word used across many nodes, it becomes impossible to browse the full list of results. A scroll bar is shown at the edge of the results list, but this does not work--so I can only select from the top 15-20 results. This was tested in Chrome and Firefox.

[heboet]

Apparently you can fix this by assigning a fixed height to the search results box (by uncommenting in line 303 in the file style.css)...The the scrollbar appears. At least this worked for me in Firefox.