Restore previous 70/30 split between scrolling part of CSS docs and summary
part -- looks better on desktop-sized monitors, but still looks ok even at
half the width of a MBP screen.