var machineMods;if(machineMods==undefined){machineMods={modifyPageStyles:function(){document.write("<style>div.banner { display: none; }</style>");document.write("<style>h1.articleTitle { font-size:20px; }</style>");}};}machineMods.modifyPageStyles();