Difference between revisions of "MediaWiki:Common.css"

From Encyclopedia Humanica
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, .mw-editfont-sans-serif, .mw-editfont-serif { font-size: 200% !important; }
+
.mw-editfont-monospace, .mw-editfont-sans-serif, .mw-editfont-serif { font-size: 200% !important; }  */
 +
 
 +
textarea#wpTextbox1.mw-editfont-monospace { font-size: 200%; }
  
 
/* #wpTextbox1 { font-size: 1em; }
 
/* #wpTextbox1 { font-size: 1em; }
  
 
pre { font-size: 102%; } */
 
pre { font-size: 102%; } */

Revision as of 09:33, 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, .mw-editfont-sans-serif, .mw-editfont-serif { font-size: 200% !important; }  */

textarea#wpTextbox1.mw-editfont-monospace { font-size: 200%; }

/* #wpTextbox1 { font-size: 1em; }

pre { font-size: 102%; } */