/* ========================================================================== dpi-tipografia — il foglio delle PAGINE PUBBLICHE (/stampa/...). 📅 Nato il 13/09/2026, e non e' un riordino: e' la riparazione di un difetto misurato dal collaudatore che guarda le pagine rese. COSA C'ERA PRIMA: queste stesse regole erano una stringa PHP stampata dentro `