Just a word of advice to the person(s) adjusting the style sheet, it's best not to use point sizes for on-screen fonts. Points are meant for print. Use ems if you want IE users to be able to resize fonts. Use pixels if you want to ensure that everyone sees the same font size no matter what browser they are using. (You could use percentages instead too but those are tricky to work with.)