Paginator that uses all available screen/window width

binary search to most natural up/down with proportional fonts

Created by  Kartik K. Agaram  on May 16, 2022
RJGZD4INLQ3IAWLCBYBZQDMP4ICSMZWJX2TRYODDYVUNMGPL6GYAC
Change contents