function smaller_font() {
	javascript:document.body.className='f-smaller';
	Cookie.set('c-fontstyle', 'f-smaller', {
		duration:365, 
		path: '/'
	});
	void(0);
}

function normal_font() {
	javascript:document.body.className='f-default';
	Cookie.set('c-fontstyle', 'f-default', {
		duration:365, 
		path: '/'
	});
	void(0);
}


function larger_font() {
	javascript:document.body.className='f-larger';
	Cookie.set('c-fontstyle', 'f-larger', {
		duration:365, 
		path: '/'
	});
	void(0);
}