// Customisations for pei-jones document display

// only display the section number, not the title
_filter_on_types = ["sectionnum"];