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