src/vs/workbench/contrib/sash/browser/sash.ts/SashSettingsController/onDidChangeSize
class SashSettingsController:	private onDidChangeSize(): void {
		const configuredSize = this.configurationService.getValue<number>('workbench.sash.size');
		const size = clamp(configuredSize, 4, 20);
		const hoverSize = clamp(configuredSize, 1, 8);

		document.documentElement.style.setProperty('--sash-size', size + 'px');
		document.documentElement.style.setProperty('--sash-hover-size', hoverSize + 'px');
		setGlobalSashSize(size);
	}