MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
Bradley Monk (talk | contribs) No edit summary |
Bradley Monk (talk | contribs) No edit summary |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ | /* CSS placed here will be applied to all skins */ | ||
/* Applies to Syntax Highlight Extension */ | |||
.mw-highlight pre { | |||
font-family: "Courier", monospace; | |||
font-size: 90%; | |||
} | |||
@import url( 'https://fonts.googleapis.com/css?family=Noto+Sans|Noto+Serif ') | @import url( 'https://fonts.googleapis.com/css?family=Noto+Sans|Noto+Serif ') | ||
Line 18: | Line 24: | ||
#content a[href ^="http://"].external {background: center right no-repeat; padding-right: 1px;} | #content a[href ^="http://"].external {background: center right no-repeat; padding-right: 1px;} | ||
#content a[href ^="https://"].external {background: center right no-repeat; padding-right: 1px;} | #content a[href ^="https://"].external {background: center right no-repeat; padding-right: 1px;} | ||
Latest revision as of 01:35, 23 June 2024
/* CSS placed here will be applied to all skins */
/* Applies to Syntax Highlight Extension */
.mw-highlight pre {
font-family: "Courier", monospace;
font-size: 90%;
}
@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: */
#content h1,
#content h2 {
font-family: "Noto Serif", serif;
}
/* Removes external link icon */
#content a[href ^="http://"].external {background: center right no-repeat; padding-right: 1px;}
#content a[href ^="https://"].external {background: center right no-repeat; padding-right: 1px;}