src/vs/base/browser/dom.ts/SizeUtils/getMarginBottom
class SizeUtils:	static getMarginBottom(element: HTMLElement): number {
		return SizeUtils.getDimension(element, 'margin-bottom', 'marginBottom');
	}