function switchCrystal(){
  // return array of all DIV elements
  var uls = document.getElementsByTagName("ul");
  // Iterate through all DIVs in array
  for(var i = 0; i < uls.length; i++){
    // If current DIV is using "textDefault" styling,
    // change it to use "textAlternate" styling
    if(uls[i].className == "crysDefault")
      uls[i].className = "crysAlternate";
    // If current DIV is using "textAlternate" styling,
    // change it back to use "textDefault" styling
    else if(uls[i].className == "crysAlternate")
      uls[i].className = "crysDefault";
  }
}
function switchDesign(){
  // return array of all DIV elements
  var uls = document.getElementsByTagName("ul");
  // Iterate through all DIVs in array
  for(var i = 0; i < uls.length; i++){
    // If current DIV is using "textDefault" styling,
    // change it to use "textAlternate" styling
    if(uls[i].className == "designDefault")
      uls[i].className = "designAlternate";
    // If current DIV is using "textAlternate" styling,
    // change it back to use "textDefault" styling
    else if(uls[i].className == "designAlternate")
      uls[i].className = "designDefault";
  }
}
function switchArticles(){
  // return array of all DIV elements
  var uls = document.getElementsByTagName("ul");
  // Iterate through all DIVs in array
  for(var i = 0; i < uls.length; i++){
    // If current DIV is using "textDefault" styling,
    // change it to use "textAlternate" styling
    if(uls[i].className == "artDefault")
      uls[i].className = "artAlternate";
    // If current DIV is using "textAlternate" styling,
    // change it back to use "textDefault" styling
    else if(uls[i].className == "artAlternate")
      uls[i].className = "artDefault";
  }
}