Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
Line 21: | Line 21: | ||
# text editor | # text editor | ||
− | /* .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 { font-size: 16px !important; } */ |
+ | |||
+ | #wpTextbox1 { font-size: 100%; } |
Revision as of 09:18, 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 { font-size: 16px !important; } */ #wpTextbox1 { font-size: 100%; }