Fixes for scrolling and formatting problems in HTML.