;
                    button.classList.add("btn-light");
                }
                // set the table correctly
                document.getElementById("runTable").classList.remove("table-light")
                document.getElementById("runTable").classList.add("table-dark")
                // set the SVG's correclty
                const svgMap = {
                    "github": githubDarkSVG,
                    "settings": settingsDarkSVG,
                    "rflogo": rflogoDarkSVG,
               