Resize/layout tabs.

Add custom padding to nav-pills via nav-pills-sm class.
Add the download / open link to the tabs. Make jQuery UI
ignore tab headers that form external urls (needs some work).