From: Ilmari Karonen <vyznev@users.mediawiki.org>
Date: Sat, 13 Dec 2008 08:49:16 +0000 (+0000)
Subject: (bug 1941) Add textarea { font-family: monospace; } to shared.css for Safari
X-Git-Tag: 1.31.0-rc.0~43998
X-Git-Url: http://git.cyclocoop.org//%27http:/jquery.khurshid.com/ifixpng.php/%27?a=commitdiff_plain;h=6f74adb3b88cf83b6549e1459125b2dce7b52287;p=lhc%2Fweb%2Fwiklou.git

(bug 1941) Add textarea { font-family: monospace; } to shared.css for Safari
---

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 9a256be1ec..8a1115c746 100644
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -402,6 +402,9 @@ The following extensions are migrated into MediaWiki 1.14:
 * (bug 5506) Links to files on foreign repositories are now shown consistently
   as bluelinks e.g. in logs and edit summaries
 * (bug 16623) Add missing </p> tag in Special:LockDB
+* (bug 1941) Explicitly tell browsers to use a monospaced font for textareas.
+  Safari apparently defaults to a proportional font, which can make editing
+  pages with preformatted text difficult
 
 === API changes in 1.14 ===
 
diff --git a/skins/common/shared.css b/skins/common/shared.css
index 6be252dd79..82532f340c 100644
--- a/skins/common/shared.css
+++ b/skins/common/shared.css
@@ -9,6 +9,9 @@
 img.tex { vertical-align: middle; }
 span.texhtml { font-family: serif; }
 
+/* (bug 1941) Safari defaults to a proportional font for textareas */
+textarea { font-family: monospace; }
+
 /* add a bit of margin space between the preview and the toolbar */
 /* this replaces the ugly <p><br /></p> we used to insert into the page source */
 #wikiPreview.ontop { margin-bottom: 1em; }