function swap_css(csspage) {
  link = document.getElementsByTagName("link")[0];
  link.href = csspage;
}