Paginator that uses all available screen/window width

subsection headings in a long switch

Created by  Kartik K. Agaram  on August 18, 2022
PV2YA7KSWRCOKDS2WYO45WKE5L3CK56HPYT6DRVQRI3ZIE3B633AC
Change contents