We were using the 'Documentation' theme, and upgraded from 5 to 6.5. Apparently the recent upgrade completely removed the Documentation Theme. The only non-paid theme now is the 'Default' which does not have a 'Search' box in the left nav (sidebar).
Does anyone have any ideas on how to regain this functionality?