tree 76b4282102e2173fe06dd91f10e672cd4885e7c0
parent b7947514771a024bd8e7fccb947efa2e69433ec2
author Dave Barnes <dbarnes@pivotal.io> 1538761764 -0700
committer Dave Barnes <dbarnes@pivotal.io> 1538761764 -0700

Fix a format issue in the page headers in which 'long' menu bar wrapped awkwardly, obscuring page content.