Reinstate highlighting of top level sections

Accidentally deleted in another commit.