I was often wondering, if for quality reasons I should prefer whole number pixel values over fractions of pixels when positioning text with CSS in web design. E. g., will text be rendered crispier if it has a padding of 12px than a padding of 11.25px?