A lightweight table of contents navigation menu