ISSUE-258: Rename margin boxes to page-margin boxes
Rename margin boxes to page-margin boxes
- State:
- CLOSED
- Product:
- CSS3 Paged Media
- Raised by:
- Elika Etemad
- Opened on:
- 2012-06-12
- Description:
- http://www.w3.org/mid/4CD5E301.40900@free.fr
Lobotom Dysmon points out that the term "margin box" is confusing with "margin box", and maybe it should be something else, like "page-margin box". - Related Actions Items:
- No related actions
- Related emails:
- CSS-ISSUE-258: Rename margin boxes to page-margin boxes [CSS3 Paged Media] (from sysbot+tracker@w3.org on 2012-06-12)
- Re: [css3-page] Editorial comments (from fantasai.lists@inkedblade.net on 2012-06-11)
Related notes:
Done.
Simon Sapin, 2 Feb 2013, 19:04:55Display change log