[tor-commits] [metrics-web/master] Reduces default vertical header size (Fixes: #24277)