UI: Remove extra white line, between the header and the content.
UI: Get rid of the extra vertical white-spaces in IE6 between the items in the file list.
UI: Adapt to configurable thumb sizes. Closes #1031.