/* start https://allthetropes.org/w/load.php?lang=en&modules=mediawiki.editfont.styles&only=styles&skin=vector-2022 */


.mw-editfont-monospace{font-family:monospace,monospace}.mw-editfont-sans-serif{font-family:sans-serif}.mw-editfont-serif{font-family:serif}.mw-editfont-monospace,.mw-editfont-sans-serif,.mw-editfont-serif{font-size:13px;-moz-tab-size:4;tab-size:4}.mw-editfont-monospace.oo-ui-textInputWidget,.mw-editfont-sans-serif.oo-ui-textInputWidget,.mw-editfont-serif.oo-ui-textInputWidget{font-size:inherit}.mw-editfont-monospace.oo-ui-textInputWidget > .oo-ui-inputWidget-input,.mw-editfont-sans-serif.oo-ui-textInputWidget > .oo-ui-inputWidget-input,.mw-editfont-serif.oo-ui-textInputWidget > .oo-ui-inputWidget-input{font-size:13px}.mw-editfont-monospace.oo-ui-textInputWidget > input.oo-ui-inputWidget-input,.mw-editfont-sans-serif.oo-ui-textInputWidget > input.oo-ui-inputWidget-input,.mw-editfont-serif.oo-ui-textInputWidget > input.oo-ui-inputWidget-input{min-height:32px}


/* end   https://allthetropes.org/w/load.php?lang=en&modules=mediawiki.editfont.styles&only=styles&skin=vector-2022 */