Fix null handling of HTMLFrameElement.marginWidth / marginHeight