src/vs/base/browser/dom.ts/SizeUtils/getPaddingRight
class SizeUtils:	static getPaddingRight(element: HTMLElement): number {
		return SizeUtils.getDimension(element, 'padding-right', 'paddingRight');
	}