Difference between revisions of "MediaWiki:Common.css"

From Ittichai Chammavanijakul's Wiki
Jump to navigation Jump to search
Line 27: Line 27:
 
}
 
}
 
/* Increase pre font size IC 11/16/2011 */
 
/* Increase pre font size IC 11/16/2011 */
pre { font-size: 100%; }
+
pre { font-size: 110%; }
  
 
/* Google Font */
 
/* Google Font */

Revision as of 21:06, 7 September 2018

/* CSS placed here will be applied to all skins */
/* http://www.mediawiki.org/wiki/Manual:FAQ#How_can_I_edit_.2F_remove_the_Powered_by_MediaWiki_image_in_the_footer.3F */
#f-poweredbyico { display: none; }
#footer-icon-poweredby { display: none; }

/* Pad Google AdSense box in portlet in sidebar */
/* http://www.mediawiki.org/wiki/Extension:Google_AdSense_2 */
#p-googleadsense .pBody {
    padding-top: 5px;
    text-align:  center;
}

/* Hide tabs */
/* http://www.mediawiki.org/wiki/User:Subfader/Hide_page_tabs */
/* Watch, History, View Source, Discussion */
#ca-watch { display: none !important; }
#ca-history { display: none !important; }
#ca-viewsource { display: none !important; }
#ca-talk { display: none !important; }

/* Syntax Highlighter */
/* http://www.mediawiki.org/wiki/Extension:SyntaxHighlight_GeSHi */
div.mw-geshi {
  padding: 1em; 
  margin: 1em 0; 
  border: 1px dashed #2f6fab;
}
/* Increase pre font size IC 11/16/2011 */
pre { font-size: 110%; }

/* Google Font */

@import url("https://fonts.googleapis.com/css?family=Noto+Sans|Noto+Serif")

body {font-family: "Noto Sans", sans-serif}
/* changes the default font used for MediaWiki to Noto Sans (does not include headings or monospaced text) */

div#content h1, div#content h2 {font-family: "Noto Serif", serif}
/* changes the default font used for MediaWiki headings to Noto Serif */