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: 0.8em solid #eee;
     border: 0.4em solid #eee;
     border-radius: 6px;
     border-radius: 6px;
}
}
Line 33: Line 33:
     color: #ffe;
     color: #ffe;
     background: #888;
     background: #888;
     border: 0.4em solid #888;
     border: 0.2em solid #888;
     border-radius: 6px;
     border-radius: 6px;
     padding-left: 6px;
     padding-left: 6px;

Revision as of 2022-12-25T17:56:03

/* 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.4em 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: 0.2em 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;
}