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         /* TODO: Re-evaluate whether we should keep this over-ride or switch to ems */
  19         /* stylelint-disable-next-line declaration-property-unit-disallowed-list */
  20         font-size: 13px;
  21         /* Standardize tab width when in edit areas */
  22         -moz-tab-size: 4;
  23         tab-size: 4;
  24
  25         /* For OOUI TextInputWidget, the parent <div> element uses normal font size, and only
  26          * the <textarea>/<input> inside of it has the adjusted font size. This allows the width
  27          * of the widget and size of icons etc. (which are expressed in ems) to stay the same.
  28          */
  29         &.oo-ui-textInputWidget {
  30                 font-size: inherit;
  31
  32                 > .oo-ui-inputWidget-input {
  33                         /* TODO: Re-evaluate whether we should keep this over-ride or switch to ems */
  34                         /* stylelint-disable-next-line declaration-property-unit-disallowed-list */
  35                         font-size: 13px;
  36                 }
  37
  38                 // Single-line only, preserve original height to avoid
  39                 // reflow when toggling (T246136) and to align with buttons
  40                 // in ActionFieldLayout
  41                 > input.oo-ui-inputWidget-input {
  42                         min-height: 32px; // 18px original line-height + 12px padding + 2px border
  43                 }
  44         }
  45 }