Difference between revisions of "MediaWiki:Common.css"

From Encyclopedia Humanica
Jump to navigation Jump to search
 
(58 intermediate revisions by the same user not shown)
Line 8: Line 8:
 
}
 
}
  
/* Bring the text to 14px */
+
 
#conten.mw-body {
+
/**
   font-size: 0.875em;
+
* 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%; } */