https://bugzilla.wikimedia.org/show_bug.cgi?id=1941
Brion Vibber <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution| |WONTFIX --- Comment #19 from Brion Vibber <[email protected]> 2008-12-24 21:52:14 UTC --- Safari currently defaults to 13pt Courier New for its base monospace font, which IMO ends up feeling too small in the textarea. (It's actually the same height as the sans-serif default, but "feels" smaller because of the difference in widths.) Given the negative response, and the very very few actual active demands for this change, my inclination is that this isn't actually a problem that needs to be fixed. People who want to change the font from the browser default can override their user styles in the browser or on-wiki. ASCII art isn't really in "native" use on-wiki and isn't an overriding concern. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
