
        // JavaScript Document
        function set_cookie(name,value,days) {
            if (days) {
                var date = new Date();
                date.setTime(date.getTime()+(days*24*60*60*1000));
                var expires = "; expires="+date.toGMTString();
            }
            else var expires = "";
            document.cookie = name+"="+value+expires+"; path=/";
        }

        function get_cookie(name) {
            var name_eq = name + "=";
            var ca = document.cookie.split(';');
            for(var i=0;i < ca.length;i++) {
                var c = ca[i];
                while (c.charAt(0)==' ') c = c.substring(1,c.length);
                if (c.indexOf(name_eq) == 0) return c.substring(name_eq.length,c.length);
            }
            return null;
        }


        if(get_cookie("page_size") != null){   
            document.write('<style>');
            document.write('body{');
            document.write('font-size:'+ get_cookie("page_size") + 'em');
            document.write('}');
            document.write('</style>')
        }else{
            document.write('<style>');
            document.write('body{');
            document.write('font-size: 1em');
            document.write('}');
            document.write('</style>')   
        }
            


