
      document.getElementById('optionsButton').style.fontSize = "150%";

      document.getElementById('numberOfLines').style.color = "yellow";
      document.getElementById('numberOfLines').style.backgroundColor = "black";
      document.getElementById('numberOfLines').style.fontWeight = "bolder";

      document.getElementById('userStyle').style.color = "yellow";
      document.getElementById('userStyle').style.backgroundColor = "black";
      document.getElementById('userStyle').style.fontWeight = "bold