MediaWiki:Common.css: Difference between revisions

Revision as of 18:22, 16 August 2022

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

@font-face {
    font-family: "Ronda ITC W04 Regular";
    src: url("/fonts/Ronda.woff2") format("woff2");
}

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