Paginator that uses all available screen/window width

tweak format again

Created by  Kartik K. Agaram  on January 22, 2023
FHRFVEJVBHYI2Y6DX2ATBUQSOPW5GHQT4SYGXW4PA7SN2TCABL6QC
Change contents