function T(size){ document.getElementById('articlecontent').style.fontSize=size+'px'; }