resources/src/mediawiki/mediawiki.editfont.css

   1 /* Edit font preference */
   2 .mw-editfont-monospace {
   3         font-family: monospace;
   4 }
   5
   6 .mw-editfont-sans-serif {
   7         font-family: sans-serif;
   8 }
   9
  10 .mw-editfont-serif {
  11         font-family: serif;
  12 }