16px or 17px should both be fine in this case. Oh, subpixels.