Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

  • Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
  • Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
  • Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
  • Opera: premi Ctrl-F5.
img.thumbborder {
	border: 1px solid #c0c0c0;
}
 
div.thumb {
	margin-bottom: .5em;
	border-style: solid;
	border-color: white;
	width: auto;
}
 
td.diff-deletedline span.diffchange  {
    font-weight: bold;
    color: black  !important;
    background-color: #FFFF80 !important;
}
 
td.diff-addedline span.diffchange {
    font-weight: bold;
    color: black  !important;
    background-color: #40D040 !important;
}
 
td.diff-addedline {
    background-color: #A0FFA0;
}
 
td.diff-deletedline {
    background-color: #FFC0C0;
}
 
td.diff-context {
    background-color: #FFFFA0;
}
 
#bodyContent a.external {
    background: none !important; 
    color: #008000 !important;
    padding: 0 !important;
}
 
ol.references {
    font-size: 90%;
}