if(requestedWidth > 0){
document.getElementById(‘articleViewerGroup’).style.width = requestedWidth + “px”;
document.getElementById(‘articleViewerGroup’).style.margin = “0px 0px 10px 10px”;
}