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:
  1. CSS-ISSUE-258: Rename margin boxes to page-margin boxes [CSS3 Paged Media] (from sysbot+tracker@w3.org on 2012-06-12)
  2. Re: [css3-page] Editorial comments (from fantasai.lists@inkedblade.net on 2012-06-11)

Related notes:

Done.

Simon Sapin, 2 Feb 2013, 19:04:55

Display change log ATOM feed


Peter Linss <peter.linss@hp.com>, Daniel Glazman <daniel.glazman@disruptive-innovations.com>, Chairs, Chris Lilley <chris@w3.org>, Bert Bos <bert@w3.org>, Staff Contacts
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.325 2014-09-10 21:42:02 ted Exp $