//change fontsize
var tt_size = 11;
							var tt_lh = 18;
							
							function ttsz_inc()
							{
								if (tt_size > 18) return;				
								tt_size+=2;
								tt_lh+=3;
								document.getElementById('article_container').style.fontSize = tt_size+'px';
								document.getElementById('article_container').style.lineHeight = tt_lh+'px';		    
							}
							
							function ttsz_dec()
							{
								if (tt_size < 10) return;		
								tt_size-=2;
								tt_lh-=3;
								document.getElementById('article_container').style.fontSize = tt_size+'px';
								document.getElementById('article_container').style.lineHeight = tt_lh+'px';
							}