MediaWiki:Common.css: Difference between revisions

Revision as of 2022-11-27T14:52:28

/* 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.8em solid #eee;
    border-radius: 6px;
}
span.code
{
    color: black;
    background: #eee;
    border-radius: 6px;
}

/* terminal commands */
pre.terminal
{
    color: #ffe;
    background: #888;
    border: 0.4em solid #888;
    border-radius: 6px;
    padding-left: 6px;
}
span.terminal
{
    color: #ffe;
    background: #888;
    border-radius: 6px;
}