Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
Line 26: | Line 26: | ||
#wpTextbox1 { font-size: 100%; } | #wpTextbox1 { font-size: 100%; } | ||
+ | |||
+ | pre { font-size: 100%; } |
Revision as of 09:19, 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%; } pre { font-size: 100%; }