// JavaScript Document

jQuery.noConflict();

jQuery(document).ready(function() {
			
      var c = getCookie("fontSize");
	  
      if (c != null)
           jQuery("#content").css("fontSize", c);

      function setTextSize(size) {
            setCookie("fontSize", size, 1);
            jQuery("#content").css("fontSize", size);
       }

      jQuery(".a1").click(function (event) {
            event.preventDefault();
            setTextSize("100%");
      });

      jQuery(".a2").click(function (event) {
            event.preventDefault();
            setTextSize("125%");
      });

      jQuery(".a3").click(function (event) {
            event.preventDefault();
            setTextSize("150%");
      });
});