add Table padding options, deciding how extra space is distributed
reimplement SmartTable with a between-padded Table
use a between-padded table for the crew list
Merge branch 'ui-table-column-alignment'
Fix excessive mass of asteroids (fixes #2781).
don't drop columns from the total width if they're missing from a single row. #2778
auto-commit: translation updates