function setStyleSheet(title) {
  createCookie("style", title, 365);
  refresh()
}

function setFontSize(size) {
  createCookie("fontsize", size, 365);
  refresh()
}

function createCookie(name,value,days) {
  if (days) {
    var date = new Date();
    date.setTime(date.getTime()+(days*24*60*60*1000));
    var expires = "; expires="+date.toGMTString();
  }
  else expires = "";
  document.cookie = name+"="+value+expires+"; path=/";
}

function refresh() {
    window.location.reload(false);
}