Comments Off
No comments
if(requestedWidth > 0){ document.getElementById(’articleViewerGroup’).style.width = requestedWidth + “px”; document.getElementById(’articleViewerGroup’).style.margin = “0px 0px 10px 10px”; [...]