diff options
Diffstat (limited to 'www/wiki/resources/src/mediawiki/mediawiki.editfont.css')
-rw-r--r-- | www/wiki/resources/src/mediawiki/mediawiki.editfont.css | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/www/wiki/resources/src/mediawiki/mediawiki.editfont.css b/www/wiki/resources/src/mediawiki/mediawiki.editfont.css new file mode 100644 index 00000000..fe7f3240 --- /dev/null +++ b/www/wiki/resources/src/mediawiki/mediawiki.editfont.css @@ -0,0 +1,19 @@ +/* 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; +} |