(slight adjustment in pagination box size)

[#64688658] "Change size of navigation bar to accommodate a second row
of page numbers as necessary."

https://www.pivotaltracker.com/story/show/64688658