MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
html { | html { | ||
font-size: 120% | font-size: 120% | ||
} | |||
/* Heading styles */ | |||
mw-page-title-main { | |||
visibility: hidden; | |||
} | |||
mw-page-title-main: pageload { | |||
content: 'Home'; | |||
} | } | ||
Revision as of 14:02, 5 January 2023
/*Paragraph style*/
* {
font-family: Tahoma, System sans-serif;
}
/*Body styling*/
html {
font-size: 120%
}
/* Heading styles */
mw-page-title-main {
visibility: hidden;
}
mw-page-title-main: pageload {
content: 'Home';
}
/*TOC Styling*/
#toc {
float: right;
border-style: solid;
border-width: 1px;
padding: .5em;
margin-left: 2em;
font-size: .75em;
}
.tocnumber {
display: none;
}
#toc ul {
list-style-image: none;
list-style-type: none;
}
#toc ul ul ul {
list-style-image: none;
list-style-type: none;
}
.toclevel-2 {
margin-left:5px;
}
.toclevel-3 {
margin-left:10px;
}
.toclevel-4 {
display: none;
}