FRAME MARGINHEIGHT default
This frame has the default top margin.
back to
<FRAME MARGINWIDTH="...">