(function(d) {
	"use strict";
	var hs = d.getElementById("DocumentationText").querySelectorAll("H1, H2, H3"), h;

	for (var i = 0; i < hs.length; i++) {
		h = hs[i];
		if (h.id != null && h.id.length > 0) {
			h.insertAdjacentHTML('beforeend', '<a href="' + window.location.href + '#' + h.id + '" class="anchorLink">¶</a>')
		}
	}

})(document);