function changeCSS(whichSheet){
  if (whichSheet == 'default')
    document.getElementById('css').href= '../inc/huntington.css'
  else
    document.getElementById('css').href= '../inc/huntington-'+whichSheet+'.css'
}