daml/docs/theme/da_theme_skeleton/onthispage.html

<!-- Copyright (c) 2022 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved. -->
<!-- SPDX-License-Identifier: Apache-2.0 -->

<div class="content-menu collapsed">
    <span class="content-menu-title">In This Section</span>
    <span class="content-menu-expand"></span>
    <div class="content-menu-wrapper">
        {% block menu %}
        <!-- Local TOC -->
        <div class="content-menu-toc">{{ toc }}</div>
        {% endblock %}
    </div>
</div>
update copyright headers (#12240) New year, new copyright, new expected unknown issues with various files that won't be covered by the script and/or will be but shouldn't change. I'll do the details on Jan 1, but would appreciate this being preapproved so I can actually get it merged by then. CHANGELOG_BEGIN CHANGELOG_END 2022-01-03 19:36:51 +03:00			`<!-- Copyright (c) 2022 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved. -->`
open-sourcing daml 2019-04-04 11:33:38 +03:00			`<!-- SPDX-License-Identifier: Apache-2.0 -->`

			`<div class="content-menu collapsed">`
			`<span class="content-menu-title">In This Section</span>`
			`<span class="content-menu-expand"></span>`
			`<div class="content-menu-wrapper">`
			`{% block menu %}`
			`<!-- Local TOC -->`
			`<div class="content-menu-toc">{{ toc }}</div>`
			`{% endblock %}`
			`</div>`
			`</div>`