/* 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 to use Codex design token like `@font-size-small`, which would mean to // bump the size up by equal to 14px in Vector 2022 and MinervaNeue. // `0.8125rem` equals `13px` at `16px` base font size. font-size: 0.8125rem; /* Standardize tab width when in edit areas */ -moz-tab-size: 4; tab-size: 4; /* For OOUI TextInputWidget, the parent