MediaWiki:Common.css: Difference between revisions
Appearance
mNo edit summary |
mNo edit summary |
||
Line 50: | Line 50: | ||
{ | { | ||
background: #f8f8f0; | background: #f8f8f0; | ||
margin-left: 1em; | |||
padding-left: 1em; | padding-left: 1em; | ||
padding-right: 1em; | padding-right: 1em; |
Revision as of 2022-12-25T18:04:59
/* 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;
margin-left: 1em;
padding-left: 1em;
padding-right: 1em;
padding-top: 0.5em;
padding-bottom: 0.5em;
border-radius: 6px;
}