Paginator that uses all available screen/window width

make out-of-focus color more subtle

Created by  Kartik K. Agaram  on December 17, 2022
MKSFYZHWX7ONHDPDJFOWXDEJ3I5HDRDWZ2OO7AWAEXRNCEFHE4PAC
Change contents