https://bugzilla.wikimedia.org/show_bug.cgi?id=70028
Bug ID: 70028
Summary: Mediawiki UI shouldn't change font-family for
textareas
Product: MediaWiki
Version: 1.24-git
Hardware: All
URL: http://mwui.wmflabs.org/w/index.php?title=Main_Page&ac
tion=edit
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Skin and page rendering
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected]
Web browser: ---
Mobile Platform: ---
The edit box on http://mwui.wmflabs.org/w/index.php?title=Main_Page&action=edit
uses a proportional font, while the default for the user setting "Edit area
font style" is "Browser default", which is a monospace font.
I did not test this as logged in user, but
.mw-ui-input {
font-family: inherit;
}
is more specific than the style generated by [1] and thus likely to override
even explicit user preferences for the font style.
[1]
https://git.wikimedia.org/blob/mediawiki%2Fcore.git/9665a657b005f3a5b882efff3dd5faeba73297d2/includes%2Fresourceloader%2FResourceLoaderUserCSSPrefsModule.php#L77
--
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
