Questa pagina definisce alcuni parametri di aspetto e comportamento generale di tutte le pagine. Per personalizzarli vedi Aiuto:Stile utente.


Nota: dopo aver salvato è necessario pulire la cache del proprio browser per vedere i cambiamenti (per le pagine globali è comunque necessario attendere qualche minuto). Per Mozilla / Firefox / Safari: fare clic su Ricarica tenendo premuto il tasto delle maiuscole, oppure premere Ctrl-F5 o Ctrl-R (Command-R su Mac); per Chrome: premere Ctrl-Shift-R (Command-Shift-R su un Mac); per Konqueror: premere il pulsante Ricarica o il tasto F5; per Opera può essere necessario svuotare completamente la cache dal menù Strumenti → Preferenze; per Internet Explorer: mantenere premuto il tasto Ctrl mentre si preme il pulsante Aggiorna o premere Ctrl-F5.

/* Modifica del colore dello sfondo nella visualizzazione delle diff */
const DEL_BGCOLOR = "#ff9696";		// codice colore sfondo sinistra
const ADD_BGCOLOR = "#84eba1";		// codice colore sfondo destra
const MAX_CHAR_NUM = 3;				// lunghezza massima di una stringa per cui si vuole modificare lo sfondo

function changeBgcolor (lines, color) {
	for (var i = lines.length - 1; i >= 0; i--) {
		elems = lines[i].getElementsByClassName('diffchange-inline');
		for (var j = elems.length - 1; j >= 0; j--) {
			elem = elems[j];
			if (elem.innerHTML.length <= MAX_CHAR_NUM) elem.style.background = color;
		}
	}
}
changeBgcolor(document.getElementsByClassName('diff-deletedline'), DEL_BGCOLOR);
changeBgcolor(document.getElementsByClassName('diff-addedline'), ADD_BGCOLOR);