Editing/Projects/Font size in the editing window
 | This page is obsolete. It is being retained for archival purposes. It may document extensions or features that are obsolete and/or no longer supported. Do not rely on the information here being up-to-date. |
 | This page in a nutshell: In 2017, we changed the font size in the editing window. Most editors will see only a small change. The change makes long-awaited features, such as wikitext syntax highlighting, work for more editors. |
The past
[edit]For historical reasons, MediaWiki allowed inconsistent browser-default styles to apply to textarea#wpTextbox1. Until October 2017, it allowed the browser to set the font family. This decision created an inconsistent user experience when editors change web browsers, and also created other problems, especially for extensions that require font-size matching, such as the long-requested syntax highlighting (see T180678).
The issue was further complicated by the fact MediaWiki uses font-family:monospace (instead of the "monospace, monospace" hack), which applies extra font size rules in some browsers (Firefox) and some versions. The old font heights were (all in pixels):
| Browser | OS | Monospace | Serif/Sans-serif |
|---|---|---|---|
| Chrome | Win/Ubuntu | 13.3333 | 13.3333 |
| IE/Edge | Win (All) | 13.33 | 13.33 |
| Firefox | OSX/Win | 13 | 16 |
| Firefox | Ubuntu | 12 | 16 |
| Safari | OSX (All) | 11 | 11 |
| Chrome | OSX | 11 | 11 |
Current status
[edit]| Are you looking for before-and-after pictures? Screenshots for many browsers and operating systems can be seen at https://phabricator.wikimedia.org/T182320 |  |
The font size is changing to 13 pixels high for monospace (the most common font setting for editors). This will shrink the height of the characters, by a barely noticeable 2.5%, for editors using Chrome, IE, and Edge (about 76% of editors). Editors using Firefox on Windows or Macs (about 15%) will see no change. Editors using Safari or Chrome on OS X/mac OS (about 12%) will notice a significant increase, which should improve accessibility.
The biggest change will be seen by the few Firefox users who have changed their edit font to serif/sans-serif (see phab:T170223#3539911)
This change will happen during the second week of January 2017.
Choose your own font size
[edit]Regardless of the default for your web browser or OS, you can override the font size to your liking using a snippet like this, added to your user style subpage – for example, global.css:
.mw-editfont-monospace,
.mw-editfont-sans-serif,
.mw-editfont-serif {
font-size: 13px !important;
}
Note that fractional values may not work well with wikitext syntax highlighting.