Utente:Una giornata uggiosa '94/vector.js

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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.

function mostra (id) {
document.getElementById(id).style.display='inline';
}

function nascondi (id) {
document.getElementById(id).style.display='none';
}

//syntax highlighter
mw.loader.load('//www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');

syntaxHighlighterConfig = {
	defaultColor: "#EFEFEF", //grigio 10%
	boldOrItalicColor: "", //nessuno
	wikilinkColor: "", //nessuno, era celeste polvere
	externalLinkColor: "", //nessuno; era fiordaliso
	headingColor: "#FF9F71", //pesca chiaro
	hrColor: "#FF9F71", //pesca chiaro
	listOrIndentColor: "", //nessuno
	signatureColor: "#00E1AD", //caraibi
    tableColor: "#FFFFC2", //paglierino o pergamena
    templateColor: "#E0FFDF", //(verde) nebbia marina
    parameterColor: "#C082FF", //blu violaceo chiaro
    tagColor: "#E1BFFF", //prugna chiaro
    commentColor: "#FFEFCE", //vaniglia
    entityColor: "#EFEFEF", //grigio 10%
}


// Inizio evidenziatore diff generato con l'accessorio "Evidenzia diff" //
const DEL_BGCOLOR = "rgb(250, 177, 5)";
const ADD_BGCOLOR = "rgb(127, 194, 255)";
const MAX_CHAR_NUM =4;

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);
// Fine evidenziatore diff