Paginator that uses all available screen/window width

drop an unnecessary level of indent

Created by  Kartik K. Agaram  on July 20, 2022
UPCIYZEUIFO2UJ3WPAFOD7VLNZEIIYYGJQGEMJOP5TSSE5PM4ZWAC
Change contents