Details
-
Sub-task
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
-
Unknown
Description
Header can be cut off if the user increases the font size in user configuration, so in Firefox if the font size was increased to 11 (the default font setting) header is rendered mangled.