/* Edit font preference */ .mw-editfont-monospace { font-family: monospace, monospace; } .mw-editfont-sans-serif { font-family: sans-serif; } .mw-editfont-serif { font-family: serif; } /* Standardize font size for edit areas using edit-fonts T182320 */ .mw-editfont-monospace, .mw-editfont-sans-serif, .mw-editfont-serif { /* TODO: Re-evaluate whether we should keep this over-ride or switch to ems */ /* stylelint-disable-next-line declaration-property-unit-disallowed-list */ font-size: 13px; /* Standardize tab width when in edit areas */ /* stylelint-disable-next-line plugin/no-unsupported-browser-features */ -moz-tab-size: 4; /* stylelint-disable-next-line plugin/no-unsupported-browser-features */ tab-size: 4; /* For OOUI TextInputWidget, the parent
element uses normal font size, and only * the