export function scrollbarGutterWidth(element: Pick): number { return Math.max(0, element.offsetWidth - element.clientWidth); } export function dataGridHeaderContentWidth(baseWidth: string, gutterWidth: number): string { return gutterWidth > 0 ? `calc(${baseWidth} + ${gutterWidth}px)` : baseWidth; }