function font_bigger() {
    var minfontsize = 12; 
	var maxfontsize = 16; 
	var articleText_1 = document.getElementById("articleText_1");
	var articleText_2 = document.getElementById("articleText_2");
	var fontbutton = document.getElementById("font-button");
	if (articleText_1) fontsize = parseInt(articleText_1.style.fontSize); 
	if ((fontsize + 2) <= maxfontsize) {
		fontsize = fontsize + 2; 
	} else {
		fontsize = 12;
	} 
	if (articleText_1) articleText_1.style.fontSize = (fontsize) + "px"; 
	if (articleText_2) articleText_2.style.fontSize = (fontsize) + "px"; 
	strFontsize = ""+fontsize
	fontbutton.className = "font_size_" + strFontsize;
	return true; 
}

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 readCookie(name) {
  var nameEQ = 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(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
  }
  return null;
}

function read_font_size() {
  var cookie = readCookie("fontsize");
  var fontsize = cookie ? cookie : "12";
	var articleText_1 = document.getElementById("articleText_1");
	var articleText_2 = document.getElementById("articleText_2");
	if (articleText_1) articleText_1.style.fontSize = (fontsize) + "px";
	if (articleText_2) articleText_2.style.fontSize = (fontsize) + "px";
}

function write_font_size() {
	var articleText_1 = document.getElementById("articleText_1");
	if (articleText_1) {
		var fontsize = parseInt(articleText_1.style.fontSize);
		if (!fontsize) fontsize = "12";
		createCookie("fontsize", fontsize, 365);
	}
}