Make section banners hierarchical

Section banners have now been produces with the section-banner.pl
script, with width 64, with appropriate levels of hierarchy