Merged [663] to 0.7-stable.
Escape html from search results. Closes #401.
Merged [661] to stable.
Removed IE brokenness. Closes #391 again.
Ported [658] to stable
Merged [657] to 0.7-stable.
Don't highlight search words in form elements
Better layout of Report command 'navigation'. Closes #391.
Ported [655] to stable
Make sure we set the foreground color when setting the background color