/* 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 { font-size: 13px; /* For OOUI TextInputWidget, the parent
element uses normal font size, and only the