function buttonHighlight(whichButton,whichColour) {
  document.getElementById(whichButton).style.backgroundColor = whichColour;
  document.getElementById(whichButton).style.border = '1px solid ' + whichColour;
}