Fixed bug #15565: Labels of pages deep in the tree or with long titles are cut off...