now done by the mixin ".pagination-size" at bottom of this file. I was not sure if it better to add this mixin here or in the "sizing" block.