Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
(Created page with "→CSS placed here will be applied to all skins: →**** Overcome mediawiki bug whereby the WikiEdit sprite is a no-show ****: .wikiEditor-toolbar-spritedButton { backgr...") |
|||
(60 intermediate revisions by the same user not shown) | |||
Line 3: | Line 3: | ||
/***** Overcome mediawiki bug whereby the WikiEdit sprite is a no-show *****/ | /***** Overcome mediawiki bug whereby the WikiEdit sprite is a no-show *****/ | ||
.wikiEditor-toolbar-spritedButton { | .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; | |
} | } | ||
+ | |||
+ | |||
+ | /** | ||
+ | * 1. Correct the inheritance and scaling of font size in all browsers. | ||
+ | * 2. Correct the odd `em` font sizing in all browsers. | ||
+ | */ | ||
+ | |||
+ | pre { | ||
+ | font-family: monospace, monospace; /* 1 */ | ||
+ | font-size: 1em; /* 2 */ | ||
+ | } | ||
+ | |||
+ | |||
+ | /* scale all text */ | ||
+ | html { font-family: 'Helvetica', monospace, monospace; font-size: 1.1em; } | ||
+ | |||
+ | /* scale pages text */ | ||
+ | .mw-body { font-size: 1.2em; } | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | /* ----------------------------------------- */ | ||
+ | |||
+ | /* scale admin menu | ||
+ | .portlet { font-size: 1.2em; } */ | ||
+ | |||
+ | |||
+ | /* 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: 200% !important; } */ | ||
+ | |||
+ | #wpTextbox1.mw-editfont-monospace { font-size: 200%; } | ||
+ | |||
+ | /* #wpTextbox1 { font-size: 1em; } | ||
+ | |||
+ | pre { font-size: 102%; } */ |
Latest revision as of 10:25, 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; } /** * 1. Correct the inheritance and scaling of font size in all browsers. * 2. Correct the odd `em` font sizing in all browsers. */ pre { font-family: monospace, monospace; /* 1 */ font-size: 1em; /* 2 */ } /* scale all text */ html { font-family: 'Helvetica', monospace, monospace; font-size: 1.1em; } /* scale pages text */ .mw-body { font-size: 1.2em; } /* ----------------------------------------- */ /* scale admin menu .portlet { font-size: 1.2em; } */ /* 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: 200% !important; } */ #wpTextbox1.mw-editfont-monospace { font-size: 200%; } /* #wpTextbox1 { font-size: 1em; } pre { font-size: 102%; } */