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