From Bare Metal micro:bit
Revision as of 14:58, 2 November 2020 by Mike (talk | contribs)
Jump to: navigation, search

Note: After saving, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* 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;