Thanks for the report. I haven't really looked into / used the padding / border / margin properties on components. I usually set them in CSS which is where it belong imo. I will make sure they work in an upcoming release though. Note: if you are using margin on a panel that is docked, it won't take those margins into account yet.