function onload() {
  sdocument.getElementById("body").style.fontFamily = "terminess-nf, system-ui";
}

function toggleTheme() {
  // Obtains an array of all <link>
  // elements.
  // Select your element using indexing.
  if (document.getElementById("body").style.fontFamily !== "standardGalactic, system-ui") {
    document.getElementById("body").style.fontFamily = "standardGalactic, system-ui";
    document.getElementById("body").style.fontWeight = "lighter";
  } else {
    document.getElementById("body").style.fontFamily = " terminess-nf, system-ui";
  }
}