Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
Line 23: | Line 23: | ||
/* .mw-editfont-monospace, #wpTextbox1.mw-editfont-sans-serif, #wpTextbox1.mw-editfont-serif {font-size: 16px !important;} */ | /* .mw-editfont-monospace, #wpTextbox1.mw-editfont-sans-serif, #wpTextbox1.mw-editfont-serif {font-size: 16px !important;} */ | ||
− | .mw-editfont-monospace { font-size: 16px !important; } | + | .mw-editfont-monospace, .mw-editfont-sans-serif, .mw-editfont-serif { font-size: 16px !important; } |
/* #wpTextbox1 { font-size: 1em; } | /* #wpTextbox1 { font-size: 1em; } | ||
pre { font-size: 102%; } */ | pre { font-size: 102%; } */ |
Revision as of 09:27, 11 June 2020
/* CSS placed here will be applied to all skins */ /***** Overcome mediawiki bug whereby the WikiEdit sprite is a no-show *****/ .wikiEditor-toolbar-spritedButton { background-image: linear-gradient(transparent, transparent), url("/extensions/WikiEditor/modules/images/toolbar/button-sprite.svg?v=001") !important; background-position: 0px 0px; /* This gets over-ridden with inline style to move sprite into view of relevant part */ background-repeat: no-repeat !important; } /* body { font-size: larger; } */ body { font-size: medium; } div#bodyContent { font-size: larger; } div#globalWrapper { font-size: large; } /* #content.mw-body { font-size: medium; } */ # text editor /* .mw-editfont-monospace, #wpTextbox1.mw-editfont-sans-serif, #wpTextbox1.mw-editfont-serif {font-size: 16px !important;} */ .mw-editfont-monospace, .mw-editfont-sans-serif, .mw-editfont-serif { font-size: 16px !important; } /* #wpTextbox1 { font-size: 1em; } pre { font-size: 102%; } */