Page Contributors shows as sub-heading in ToC

[rkoeninger]

Just noticed something weird about how the table of contents is structured.

The generated "Contributors to this Page" section at the bottom of each page gets shown as a sub-heading in the ToC when it logically isn't:

(Contributors is not a sub-section of Structural Types)

Two quick ways of fixing it:

1. Adding .content-contributors in the exclude list when calling the toc plugin, so it doesn't show up in the ToC, see here:

docs.scala-lang/resources/js/functions.js

Lines 298 to 309 in 5ac9c20

	// TOC:
	$(document).ready(function() {
	if ($("#sidebar-toc").length) {
	$('#toc').toc({
	exclude: 'h1, h5, h6',
	context: '.inner-box',
	autoId: true,
	numerate: false
	});
	toggleStickyToc();
	}
	})

2. Or make the contributors heading an h2 so it's on the same level as the previous heading and won't get nested under it:

docs.scala-lang/_includes/contributors-list.html

Lines 1 to 4 in 5ac9c20

	<div class="content-contributors">
	<h3>Contributors to this page:</h3>
	<div id="contributors" class="contributors-container"></div>
	</div>

We can decide the preferred approach and I'll open a PR with the fix.

[SethTisue]

I don't have an opinion either way... anybody else?

[rkoeninger]

I instead tried option 3, which is to have the .toc function target an ad-hoc toc-context class instead of the incidental inner-box. Divs that contain information you want to show in the TOC would now have toc-context added to their class list. If the content you want on the TOC has sibling content that you don't want on the TOC, move the TOC-targeted content into a nested div with class="toc-context". e.g.

<div class="inner-box">
  <div class="toc-context">
    {{content}}
  </div>

  {% include contributors-list.html %}
</div>

and

<div class="inner-box toc-context">
  {{content}}
</div>

Started working on a PR for this.