I think this is mac-specific, and perhaps not easy since it probably means bypassing system calls... But it would be nice to allow a non-default menu font, perhaps as specified by the theme. The default mac menu font is relatively large compared to other systems, which means that the pulldown toolbar folder menus are cumbersome if they have long URL lists. Or is this a theme/skin issue - no one has created a theme specifiying a small font for this?
Pete, this is a theme issue. You can control the size of the Personal Toolbar menus yourself using userChrome.css rules. Resolving WFM; smaller fonts are allowed.
Status: UNCONFIRMED → RESOLVED
Last Resolved: 16 years ago
Resolution: --- → WORKSFORME
You need to log in before you can comment on or make changes to this bug.