I think it will be useful to include an id attribute for the div that contains
the edit tools when editing pages. That will make it easier to customise edit
pages in css files.

Version: unspecified
Severity: enhancement