Function paddingObject

docs/app/js/sanddance-app.js:142222–142227

(_)

}
const number = (_)=>+_ || 0;
const paddingObject = (_)=>({
        top: _,
        bottom: _,
        left: _,
        right: _
    });
function padding(_) {
    return (0, _vegaUtil.isObject)(_) ? {
        top: number(_.top),