/**
 * Resizes the header of a scrolling grid. This function is used by the <lds:grid> tag
 */
function resizeGridHeader() {
    var args = resizeGridHeader.arguments;
    for(var i=0; i<args.length; i++) {
        th = document.getElementById('th'+args[i].toString());
        col = document.getElementById('col'+args[i].toString());
        td = document.getElementById('td'+args[i].toString())
        col.width = th.width;
        td.width = th.width;
    }
}