From 6f74adb3b88cf83b6549e1459125b2dce7b52287 Mon Sep 17 00:00:00 2001 From: Ilmari Karonen Date: Sat, 13 Dec 2008 08:49:16 +0000 Subject: [PATCH] (bug 1941) Add textarea { font-family: monospace; } to shared.css for Safari --- RELEASE-NOTES | 3 +++ skins/common/shared.css | 3 +++ 2 files changed, 6 insertions(+) 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; } -- 2.20.1