Improved XHTML font CSS output: Now it deals with the issue that some
fonts may inherently be italic and then should not be marked
additionally as italic in CSS, because otherwise they become "overly
italic".