MediaWiki:Common.css: Difference between revisions

From Bare Metal micro:bit
Jump to navigation Jump to search
(Created page with "→‎CSS placed here will be applied to all skins: →‎Context boxes: div.context-box { font-style: italic; background-color: #dde; padding: 6px; border-rad...")
 
No edit summary
Line 18: Line 18:
     margin-top: 0pt;
     margin-top: 0pt;
     padding-bottom: .17em;
     padding-bottom: .17em;
}
/* Drop shadows on displayed images */
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;
}
}

Revision as of 13:58, 2 November 2020

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

/* Context boxes */

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

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

/* Drop shadows on displayed images */
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;
}