That CSS style is an admin option, and should be applied to all users. So far I haven't received any other reports of WYSIWYG editor text problems.