Style: Reduce space consumed by headers and improve alignment#2533

Merged

hugovk merged 2 commits intopython:mainfrom CAM-Gerlach:style-reduce-header-space

Apr 19, 2022

+28-9

Commits on Apr 16, 2022

Infra: Elide redundant title and PEP fields in displayed header table
CAM-Gerlach
committed
Style: Reduce vertical space of headers & improve margins/alignment
CAM-Gerlach
committed