resources/src/mediawiki.editfont.less


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

/* 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;
	}
}