add template for search results with pager at top; fix menu spacing on machines without modern fonts; get rid of debug output