documentation/_extensions/odoo/sub-menu_list.html

{# note: if odoo.com/page/docs sub-menu's structure change, these links have to change as well #}

<li><a href="https://www.odoo.com/documentation/user/13.0/index.html">User</a></li>
<li><a href="https://www.odoo.com/documentation/13.0/index.html">Developer</a></li>
<li><a href="https://odoo.com/slides">eLearning</a></li>
<li><a href="https://www.odoo.com/documentation/13.0/webservices/odoo.html">API</a></li>
<li><a href="https://www.odoo.com/documentation/13.0/setup/install.html">Installation</a></li>
<li><a href="https://www.odoo.com/page/odoo-white-paper">White Papers</a></li>
<li><a href="https://www.odoo.com/page/legal">Legal</a></li>

{%- if pagename != "search" and builder != "singlehtml" %}
<li id="searchbox" style="display: none; margin: 0 0 0 10px;" role="search">
    <form class="search form-inline input-group-sm" action="{{ pathto('search') }}" method="get">
        <input type="text" class="form-control" name="q" id="q" placeholder="Search..." />
        <input type="hidden" name="area" value="default" />
        <input type="hidden" name="check_keywords" value="yes" />
        <button type="submit" value="Go" class="btn btn-default btn-sm">Go</button>
    </form>
</li>
<script type="text/javascript">$('#searchbox').show(0);</script>
{%- endif %}