MediaWiki:Common.css: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 16: | Line 16: | ||
color: black; | color: black; | ||
background: #eee; | background: #eee; | ||
border: | border: 0px solid #eee; | ||
border-radius: 6px; | border-radius: 6px; | ||
} | } | ||
Line 33: | Line 33: | ||
color: #ffe; | color: #ffe; | ||
background: #888; | background: #888; | ||
border: | border: 0px solid #888; | ||
border-radius: 6px; | border-radius: 6px; | ||
padding-left: 6px; | padding-left: 6px; |
Revision as of 2022-12-25T18:01:36
/* 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: 0px solid #eee; border-radius: 6px; } span.code { color: black; background: #eee; border-radius: 6px; padding-left: 4px; padding-right: 4px; } /* terminal commands */ pre.terminal { color: #ffe; background: #888; border: 0px solid #888; border-radius: 6px; padding-left: 6px; } span.terminal { color: #ffe; background: #888; border-radius: 6px; padding-left: 4px; padding-right: 4px; } /* side note area */ div.sidenote { background: #f8f8f0; padding-left: 1em; padding-right: 1em; padding-top: 0.5em; padding-bottom: 0.5em; border-radius: 6px; }