function updateStyles()

in src/html.js [103:113]


                  function updateStyles() {
                    if (activeBanner) {
                      document.documentElement.style.setProperty('--banner-display', 'block');
                      document.documentElement.style.setProperty('--banner-height-normal', activeBanner.normalHeight + 'px');
                      document.documentElement.style.setProperty('--banner-height-small', activeBanner.smallHeight + 'px');
                    } else {
                      document.documentElement.style.setProperty('--banner-display', 'none');
                      document.documentElement.style.setProperty('--banner-height-normal', '0px');
                      document.documentElement.style.setProperty('--banner-height-small', '0px');
                    }
                  }