Paginator that uses all available screen/window width

better formatting

Created by  Kartik K. Agaram  on March 29, 2023
EWJZ6XHBINBUKIZQ3MCDG3RADOZSF3YFQVWCKQK2VJYIR5WFQBJAC
Change contents