Fixes #78: added 'padding' widget option