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 08: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%; }