The marginHeight IDL attribute of the frame element must reflect the element's marginheight content attribute.