The bigger/smaller buttons use <big> and <small> tags to do their work. The font size menus use <font size="">. A combination of the two results in very confusing, messy HTML.
just a suggestion here -- should we disable the one set if the other is or has been used?
be more specific. what's messy abouty it, that wouldn't be even more messy f we just used font size?
Status: NEW → RESOLVED
Last Resolved: 18 years ago
Resolution: --- → INVALID
verified in 8/16 build.
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.