MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
(Created page with "→CSS placed here will be applied to all skins: @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; }") |
Tag: Undo |
||
| (9 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 */ | ||
/********* use google font */ | |||
@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 8: | Line 10: | ||
} | } | ||
/* Changes the default font used for MediaWiki headings to Noto Serif: */ | /******** Changes the default font used for MediaWiki headings to Noto Serif: */ | ||
#content h1, | #content h1 { | ||
/*font-family: "Times New Roman", Times, serif;*/ | |||
font-weight: bold; | |||
font-size: 30px; | |||
} | |||
#content h2 { | #content h2 { | ||
font-family: "Noto Serif", serif; | font-family: "Noto Serif", serif; | ||
font-weight: bold; | |||
} | |||
/******** Change for List style*/ | |||
ol { margin-left: 1cm} | |||
ol { | |||
list-style-type: decimal; | |||
} | |||
ol li > ol { | |||
list-style-type: lower-alpha; | |||
} | |||
ol li > ol li > ol { | |||
list-style-type: lower-roman; | |||
} | } | ||
Latest revision as of 00:39, 19 May 2022
/* CSS placed here will be applied to all skins */
/********* use google font */
@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 {
/*font-family: "Times New Roman", Times, serif;*/
font-weight: bold;
font-size: 30px;
}
#content h2 {
font-family: "Noto Serif", serif;
font-weight: bold;
}
/******** Change for List style*/
ol { margin-left: 1cm}
ol {
list-style-type: decimal;
}
ol li > ol {
list-style-type: lower-alpha;
}
ol li > ol li > ol {
list-style-type: lower-roman;
}