Difference between revisions of "MediaWiki:Common.css"

From Public Play Space Community
Line 6: Line 6:
     font-style: normal;
     font-style: normal;
}
}
@font-face {
    font-family: 'Bebas Neue';
    src: url('/resources/assets/fonts/BebasNeue-Light.woff') format('woff');
    font-weight: bold;
    font-style: normal;
}
@font-face {
@font-face {
     font-family: 'Muli';
     font-family: 'Muli';
Line 12: Line 19:
     font-style: normal;
     font-style: normal;
}
}


/* 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): */
Line 21: Line 29:
#content h1,  
#content h1,  
#content h2 {
#content h2 {
   font-family: "Bebas Neue", normal;
   font-family: "Bebas Neue", bold;
}
}

Revision as of 12:50, 31 March 2020

/* Adding varying font faces for the PPS Wiki Similar or Identical to their Style*/
@font-face {
    font-family: 'Bebas Neue';
    src: url('/resources/assets/fonts/BebasNeue-Light.woff') format('woff');
    font-weight: 300;
    font-style: normal;
}
@font-face {
    font-family: 'Bebas Neue';
    src: url('/resources/assets/fonts/BebasNeue-Light.woff') format('woff');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: 'Muli';
    src: url('/resources/assets/fonts/Muli-Regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}


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

/* Changes the default font used for MediaWiki headings to Noto Serif: */
#content h1, 
#content h2 {
  font-family: "Bebas Neue", bold;
}