function switchStyle(){
  // return array of all DIV elements
  var divs = document.getElementsByTagName("DIV");
  // Iterate through all DIVs in array
  for(var i = 0; i < divs.length; i++){
    // If current DIV is using "textDefault" styling,
    // change it to use "textAlternate" styling
    if(divs[i].className == "textDefault")
      divs[i].className = "textAlternate";
    // If current DIV is using "textAlternate" styling,
    // change it back to use "textDefault" styling
    else if(divs[i].className == "textAlternate")
      divs[i].className = "textDefault";
  }
}