/main>
    <script>
        numberExamples();
        numberSections();
        numberCaptions();
        resolveCrossrefs();
    </script>
    <script>
        var alignments = document.getElementsByClassName("alignment");
        for (var i = 0, alignment; (alignment = alignments[i]); i++) {
            alignment.innerHTML = plotWord(alignment.innerHTML, "span");
        }
    </script>
    <script type="text/javascript" src="toc.js"></script>
</body>
</html>
