src/vs/base/browser/dom.ts/SizeUtils/getBorderRightWidth
class SizeUtils:	static getBorderRightWidth(element: HTMLElement): number {
		return SizeUtils.getDimension(element, 'border-right-width', 'borderRightWidth');
	}