Difference between revisions of "MediaWiki:Common.css"

From Bare Metal micro:bit
Jump to: navigation, 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...")
 
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 14: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;
}