// Variable to specify when the mouse is down (pressed) while
// changing the width of a column in the main grid header.
var IsOnMouseDown=false;

// Variable to specify if the divMain is coming from the Stories
// page, in order to maintain the autoarrange header width live
// for the rest of the pages calling/using the function (same div
// id hardcoded in the javascript issue).
var IsHorizontalScrollAllowed=true;