MediaWiki:Common.css: Difference between revisions

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;
}