p. 750: The
marginwidth and
marginheight attributes are allowed on frame and iframe.
That's probably where the designer remembered these from.
However, they are not defined or allowed on a body. element. In practice, they are non-standard Netscape extensions.