Difference between revisions of "MediaWiki:Common.css"
From Billy Meier
Line 7: | Line 7: | ||
/* Changes the default font used for MediaWiki headings to Noto Serif: */ | /* Changes the default font used for MediaWiki headings to Noto Serif: */ | ||
− | #mw-site-navigation {font-size: | + | #mw-site-navigation {font-size:1.3em} |
.toctitle {font-size:1.3em} | .toctitle {font-size:1.3em} | ||
#content h1, | #content h1, |
Revision as of 18:46, 23 May 2021
@import url( 'https://fonts.googleapis.com/css?family=Noto+Sans|Noto+Serif '); /* Changes the default font used for MediaWiki to Noto Sans (does not include headings or monospaced text): */ body { font-family: "Noto Sans", sans-serif; } /* Changes the default font used for MediaWiki headings to Noto Serif: */ #mw-site-navigation {font-size:1.3em} .toctitle {font-size:1.3em} #content h1, #content h2 { font-family: "Noto Serif", serif; } body.page-Main_Page.action-view h1.firstHeading, body.page-Main_Page.action-submit h1.firstHeading { display: none; } .FOMclock { margin: 0 auto; } .FOMclock ul { margin: 0 auto; padding: 0; text-align: inline } .FOMclock ul li { display: inline; } .FOMdate { display: inline; } .DateRange, .DateDiv { display: none; } h4{ display: inline-block; } td, th { padding-left:1em; padding-right:1em } /* #btnHideEnglish, #btnHideGerman { cursor: pointer; } */