Refresh web UI: tighter tables, modern search/map controls, redesigned ships-tab column toolbar, and assorted alignment fixes

Author: jvde-github