Visual enhancements

Fixed some small visual issues. Docs with quote characters were
breaking the layout, now using html special characters. Now showing no
results for search if there are no results.