Difference between revisions of "MediaWiki:Common.css"

From Billy Meier
Line 3: Line 3:
 
/* Changes the default font used for MediaWiki to Noto Sans (does not include headings or monospaced text): */
 
/* Changes the default font used for MediaWiki to Noto Sans (does not include headings or monospaced text): */
 
body {
 
body {
       font-family: arial; font-size: 16px
+
       font-family: arial; font-size: 15px
 
}
 
}
  

Revision as of 15:24, 22 May 2021

@import url('https://fonts.googleapis.com/css2?family=Istok+Web&display=swap');

/* Changes the default font used for MediaWiki to Noto Sans (does not include headings or monospaced text): */
body {
       font-family: arial; font-size: 15px
}

/* Changes the default font used for MediaWiki headings to Noto Serif: */
#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-right: 1cm;
}

/*
#btnHideEnglish, #btnHideGerman {
  cursor: pointer;
}
*/