First incorporation of new DocList styles
Make search results appear in tree. Fixes #540.