/* Embedded REBOL Header
-------------------------------------------------------
[REBOL [title: "Folio Style Sheet Selector"]]
------------------------------------------------------- */

/* Style Sheet Selector
------------------------------------------------------- */
function setActiveStyleSheet(title) {
  createCookie("style", title, 365);
  refresh()
}

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

/* createCookie and 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);
}