Page Number Panel enhancement

Please consider widening the page number panel at the top so if you have alot of pages the numbers aren't running together making it hard to distinguish between the pages.  See attached screenshot.  This will make selecting a page easier when developing.  (I realize one may not need this many pages but if one wants to create a robust user experience sometimes it's necessary).  Thanks for considering this.