[do not merge yet] Add navigation_depth HTML option for new theme to limit table of contents depth
#688
The logs for this run have expired and are no longer available.
Loading