1
0
mirror of synced 2025-12-20 10:28:40 -05:00
Files
docs/includes/tool-switcher.html
2021-08-11 11:46:35 -04:00

10 lines
621 B
HTML

<nav class="UnderlineNav my-3" id="tool-switcher"
{%- if page.defaultTool %} data-default-tool="{{ page.defaultTool }}"{% endif %}>
<div class="UnderlineNav-body">
<a href="#" class="UnderlineNav-item tool-switcher" data-tool="webui">GitHub.com</a>
<a href="#" class="UnderlineNav-item tool-switcher" data-tool="cli">GitHub CLI</a>
<a href="#" class="UnderlineNav-item tool-switcher" data-tool="curl">cURL</a>
<a href="#" class="UnderlineNav-item tool-switcher" data-tool="desktop">Desktop</a>
<a href="#" class="UnderlineNav-item tool-switcher" data-tool="codespaces">Codespaces</a>
</div>
</nav>