n the browser.
                  If you use it frequently, you might want to download the Shader Minifier binary and run it on your computer,
                  as it can be integrated in your toolchain.
              </p>

              <p>
                  If you find any bug, please report it on <a href="https://github.com/laurentlb/Shader_Minifier/issues">Github</a>.
              </p>

          </div>
      </template>

      <template id="ErrorNotification">
        <div class="notification is-warnin