pxt-core-own/docfiles/toc.html

Microsoft MakeCode, also known as Programming Experience Toolkit (PXT), provides Blocks / JavaScript tools and editors

<div class="toc ui accent @tocclass@ hideprint">
    <div class="ui vertical accent @tocclass@ sticky menu tocmenu">
        <div class="item">
            <a href="/" class="header focused" tabindex="0" title="Go to editor">
                @targetlogo@
            </a>
            Documentation
        </div>
        <div class="item search">
            <form id="tocsearch2" role="form" method="get" target="_blank" action="https://www.bing.com/search">
                <div class="ui fluid icon input">
                    <input type="hidden" name="q1" value="site:@homeurl@" />
                    @searchBar2@
                </div>
            </form>
        </div>
        <!-- TOC Menu -->
        <div class="menuContainer">
            @TOC@
        </div>
    </div>
</div>