MediaWiki:Common.css: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
Tag: Undo |
||
(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 */ | ||
/********* 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-family: "Times New Roman", Times, serif;*/ | ||
Line 20: | Line 22: | ||
/* Change for List */ | /******** Change for List style*/ | ||
ol { margin-left: 1cm} | ol { margin-left: 1cm} | ||
ol { | ol { |
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;
}