%PDF- %PDF-
| Direktori : /www/varak.net/wiki.varak.net/resources/src/ |
| Current File : /www/varak.net/wiki.varak.net/resources/src/mediawiki.editfont.less |
/* 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 <div> element uses normal font size, and only
the <textarea>/<input> inside of it has the adjusted font size. This allows the width
of the widget and size of icons etc. (which are expressed in ems) to stay the same. */
&.oo-ui-textInputWidget {
font-size: inherit;
}
> .oo-ui-inputWidget-input {
font-size: 13px;
}
}