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; }