TYPO3 Core

Type: improvement

Problem:
The new page tree docheader is not according to the specifications of the docheaders in the modules. The scrollbar is at the right side of the docheader, instead of below, when content is too long to fit in the body. Docheaders of the modules and the page tree are next to each other, so it almost looks that they are one. But when the scrollbar appears in the docheader of the page tree, IMHO it does not look nice. Look at the screenshot.

Solution:
Fixed the templating of the docheader which now uses typo3-fullDoc, typo3-docheader and typo3-docbody.
Also the height of the docheader now stays the same when hiding the page filter. Workspaces are in the second row, behind the filter

Notes: Is it the right way to put workspace information behind filter? Should the filter be hidden by default?

Branches:
Trunk, TYPO3_4.2

(issue imported from #M7402)