Paginator that uses all available screen/window width

bugfix: couple of margin-relative computations

Created by  Kartik K. Agaram  on July 18, 2022
EKKFWP4D2MNOHU265UCJU37KIFQV424CRLVASQMHDYUYY5T67D3QC
Change contents