function toggleGameButtons() {
  startBut = document.getElementById("start");
  startBut.disabled = !startBut.disabled;

  stopBut = document.getElementById("stop");
  stopBut.disabled = !stopBut.disabled;
}
//  toggles the state of the start and stop buttons
toggles the state of the start and stop buttons
toggles the state of the start and stop buttons
function toggleGameButtons() {
  startBut = document.getElementById("start");
  startBut.disabled = !startBut.disabled;
  stopBut = document.getElementById("stop");
  stopBut.disabled = !stopBut.disabled;
}
function toggleGameButtons ( ) { startBut = document . getElementById ( "start" ) ; startBut . disabled = ! startBut . disabled ; stopBut = document . getElementById ( "stop" ) ; stopBut . disabled = ! stopBut . disabled ; }
toggles the state of the start and stop buttons
toggles the state of the start and stop buttons