Fixed so white theme looks good with new search and editor panes, Closes #735, and other small fixes and polish