  el.innerHTML = htmlGreenLED;
                        }
                    } else {
                        if (el.innerHTML != htmlRedLED) {
                            el.innerHTML = htmlRedLED;
                        }
                    }
                }

                var isBrowserSupported = true;
                {
                    var el = document.getElementById('is-browser-supported');
                    if (isBrowserSupported) {
                        if (el.innerHTML != htmlGreenLED)