MediaWiki:Common.css: Difference between revisions
No edit summary |
(No difference)
|
Revision as of 2016-08-19T09:56:09
/* CSS placed here will be applied to all skins */ body.page-Main_Page .title, body.page-Main_Page #tagline { display: none; } .tocnumber { display: none; } /* source code */ pre.code { color: black; background: #eee; border: 0.8em solid #eee; border-radius: 6px; } /* terminal commands */ pre.terminal { color: #ffe; background: #888; border: 0.4em solid #888; border-radius: 6px; padding-left: 6px; }