Opmerking: nadat u de wijzigingen hebt opgeslagen is het wellicht nodig uw browsercache te legen.
- Firefox / Safari: houd Shift ingedrukt terwijl u op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
- Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
- Internet Explorer: houd Ctrl ingedrukt terwijl u op Vernieuwen klikt of druk op Ctrl-F5
- Opera: ga naar Menu → Instellingen (Opera → Voorkeuren op een Mac) en daarna naar Privacy & beveiliging → Browsegegevens wissen... → Tijdelijk opgeslgen afbeeldingen en bestanden.
/* make the list of references look smaller and highlight clicked reference in blue */
ol.references { font-size: 80%; }
.references-small { font-size: 70%;}
ol.references > li:target { background-color: #ddeeff; }
sup.reference:target { background-color: #ddeeff; }
div#content a[href^="https://"], .link-https
{
background: center right no-repeat; padding-right: 5px;
}