Thanks for the information. BTW I have always hand tweaked the font, DPI, and all appearance based settings on a fresh install of any GNOME based distro. I am

Thanks for the information. BTW I have always hand tweaked the font, DPI, and all appearance based settings on a fresh install of any GNOME based distro. I am not enraged on the padding issue, but it would be still nice to see optimal configuration out of box.