resources/src/mediawiki.editfont.less

   1 /* Edit font preference */
   2 .mw-editfont-monospace {
   3         font-family: monospace, monospace;
   4 }
   5
   6 .mw-editfont-sans-serif {
   7         font-family: sans-serif;
   8 }
   9
  10 .mw-editfont-serif {
  11         font-family: serif;
  12 }
  13
  14 /* Standardize font size for edit areas using edit-fonts T182320 */
  15 .mw-editfont-monospace,
  16 .mw-editfont-sans-serif,
  17 .mw-editfont-serif {
  18         font-size: 13px;
  19
  20         /* For OOUI TextInputWidget, the parent <div> element uses normal font size, and only
  21            the <textarea>/<input> inside of it has the adjusted font size. This allows the width
  22            of the widget and size of icons etc. (which are expressed in ems) to stay the same. */
  23         &.oo-ui-textInputWidget {
  24                 font-size: inherit;
  25         }
  26
  27         > .oo-ui-inputWidget-input {
  28                 font-size: 13px;
  29         }
  30 }