resources/src/mediawiki/mediawiki.editfont.css

   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 }