Revision as of 13:00, 31 March 2020 by Admin (talk | contribs)

MediaWiki:Common.css

From Public Play Space Community

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
/* 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-Thin.woff') format('woff');
    font-weight: 300;
    font-style: normal;
}
@font-face {
    font-family: 'Bebas Neue Bold';
    src: url('/resources/assets/fonts/BebasNeue-Bold.woff') format('woff');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: 'Muli Bold';
    src: url('/resources/assets/fonts/Muli-Black.woff') format('woff');
    font-weight: 900;
    font-style: bold;
}
@font-face {
    font-family: 'Muli';
    src: url('/resources/assets/fonts/Muli-Regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: 'Muli';
    src: url('/resources/assets/fonts/Muli-Italic.woff') format('woff');
    font-weight: normal;
    font-style: italic;
}
@font-face {
    font-family: 'Muli Light';
    src: url('/resources/assets/fonts/Muli-Light.woff') format('woff');
    font-weight: 300;
    font-style: normal;
}

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

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