Improved display of thread
Yet more HTML resize tweaking
Convert viewport mousewheel handler to use new DOM wheel event if available