/*
 * custom.css — foglio di stile delle personalizzazioni di QUESTO progetto.
 *
 * Va caricato per ultimo (vedi httpdocs/html_shell/head.php), così le sue regole
 * vincono su quelle del tema senza doverlo modificare.
 *
 * Regola: il CSS del tema non si tocca. Quello che cambia per un cliente si scrive qui,
 * perché al prossimo aggiornamento del tema non venga sovrascritto.
 */