* are direct children of AreaTree instead of a PageCollection. This
* includes items like Destinations and Bookmarks.
* @throws GalleyVisitorException For errors during rendering.
*/
protected void renderDocumentNodes() throws GalleyVisitorException {
final BookmarkTree bookmarkTree = this.areaTree.getBookmarkTree();
if (bookmarkTree != null) {
render(bookmarkTree);
}
for (int i = 0; i < this.areaTree.getChildCount(); i++) {
final AreaNode atNode = this.areaTree.getChildAt(i);