add underlines to all links because it is important for accessibility
display placeholder sections a little greyed-out in the list of children of a page
the section ranges below child links look a lot better without indentation
force a vertical scrollbar always to prevent jittery navigation