MediaWiki:Common.css: Difference between revisions

Revision as of 13:00, 3 December 2022

/* CSS placed here will be applied to all skins */

/* Drop caps */
span.dropcap {
    float: left;
    font-family: 'Roboto Slab', serif;
    font-size: 350%;
    line-height: 85%;
    padding-right: 3px;
}

span.dropcont {
    font-variant: small-caps;
    font-size: 120%;
    line-height: 100%;
}

/* Lecture links */
span.lecturelink {
    padding: 6px 6px 6px 40px;
    background: #DDE left no-repeat
      url(/dswiki/resources/src/mediawiki.action/images/nextredirect-ltr.png);
}

code {
    color: inherit;
    word-spacing: -0.2em;
}

/* Context boxes for digital systems */

div.context-box {
    font-style: italic;
    background-color: #dde;
    padding: 6px;
    border-radius: 6px;
    border: 2px solid #aab;
    margin-top: 12px;
    margin-bottom: 12px;
}

p.context-heading {
    font-family: 'Roboto Slab', sans-serif;
    font-weight: normal;
    font-size: 116%;
    margin-bottom: .3em;
    margin-top: 0pt;
    padding-bottom: .17em;
}

div.thumbinner {
    box-shadow: 5px 5px 5px #aaa;
}

div.thumb {
    margin-bottom: 1em;
}

/* Show document icon for internal PDF links */
#bodyContent a.internal[href$=".pdf"],
#bodyContent a.extiw[href$=".pdf"] {
	background: url("resources/local/document.png") center right no-repeat;
	padding-right: 12px;
}

/* Label a table of contents with toclimit-1 to retrict it to one level:
   use <div class="toclimit-1">__TOC__</div> */
.toclimit-1 .toclevel-1 ul { display: none; }