/* Estratto da W3.CSS 4.15 (w3schools.com): solo le classi usate dal sito,
   servito localmente per non contattare w3schools prima del consenso. */
.w3-content,.w3-auto{margin-left:auto;margin-right:auto}
.w3-content{max-width:980px}
.w3-section,.w3-code{margin-top:16px!important;margin-bottom:16px!important}
.w3-animate-fading{animation:fading 10s infinite}
@keyframes fading{0%{opacity:0}50%{opacity:1}100%{opacity:0}}