Paginator that uses all available screen/window width

more precise search highlighting

Created by  Kartik K. Agaram  on June 3, 2022
FHSZYAZ2KCHJM4BN2TAPYZMWTLTIE23SWKDYLCQOQIVL4263HDRQC
Change contents