From: Ilmari Karonen
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/clavettes/images/siteon3.jpg?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
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
we used to insert into the page source */
#wikiPreview.ontop { margin-bottom: 1em; }