In the new paned interface (#749), when a document title is too long to fit, it truncates (not unreasonable) but also causes extra vertical space to appear above it, which is unnecessary and distracting: