/*
 * CSS personalizzato del sito.
 *
 * Scritto dal pannello "Colori del sito" (casella "CSS personalizzato"),
 * si aggiunge in coda a tutti gli altri fogli di stile del tema - incluso
 * colori.css - su ogni pagina del sito pubblico: quello che si scrive qui
 * vince sempre su tutto il resto, quindi basta il selettore giusto senza
 * bisogno di "!important" o di regole piu' specifiche del necessario.
 *
 * File riscritto per intero a ogni salvataggio dal pannello: eventuali
 * modifiche fatte qui a mano restano finche' non si salva di nuovo dal
 * pannello, che a quel punto le sovrascrive con quanto scritto nella
 * casella.
 */