I'm using the 'Portfolio' Theme which has 7 buttons running horizontally under the top banner.

I only needed 6 so I deleted the right most, highlighted the rest and set the width to match that of the banner (770px) with Aspect Ratio lock OFF to prevent the height scaling up as well. This seemed to work fine except the font size went from 11pix to 10.97pix.

Is this the 'correct/best' way of resizing the button bar and can I ignore the tiny adjustment on the font size size?