jqueryui.com: Reduce header size in download box.
2.2.2