Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
background-position: 0px 0px; /* This gets over-ridden with inline style to move sprite into view of relevant part */ | background-position: 0px 0px; /* This gets over-ridden with inline style to move sprite into view of relevant part */ | ||
background-repeat: no-repeat !important; | 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 */ | ||
} | } | ||
Revision as of 08:43, 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 */
}
/* 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%; } */
