I have noticed an issue with the php editor in which padding and margin setting are not applied to page code when they are set within the div properties window.

 

Other setting from this window are applied to the page code although these setting are not and then have to be added in code view.