Tweaks to formatting of search page in docs