function change_ts(txt_size)
{
  window.location.replace("save_preferences.php?ts="+escape(txt_size)+"&redir="+escape(window.location.href));
}

function change_fs(txt_style)
{
  window.location.replace("save_preferences.php?ff="+escape(txt_style)+"&redir="+escape(window.location.href));
}

function set_fsize(f_siz)
{
  $('tabs').style.fontSize = f_siz;
  $('content').style.fontSize = f_siz;
  $('left_col').style.fontSize = f_siz;
  $('right_col').style.fontSize = f_siz;
}

function set_fstyle(f_sty)
{
  $('tabs').style.fontFamily = f_sty;
  $('content').style.fontFamily = f_sty;
  $('left_col').style.fontFamily = f_sty;
  $('right_col').style.fontFamily = f_sty;
}