Improve rendering of page listing for search results. In particular, this makes more obvious what is the currently selected page.
Authored by: cboos 2007-05-28
Parent: [r5525]
Child: [r5527]
