2026-01-08 21:07:15 +08:00

26 lines
845 B
HTML

<div id="sidetoggle">
<div>
<div class="sidefilter">
<form class="toc-filter">
<span class="glyphicon glyphicon-filter filter-icon"></span>
<span class="glyphicon glyphicon-remove clear-icon" id="toc_filter_clear"></span>
<input type="text" id="toc_filter_input" placeholder="Filter by title" onkeypress="if(event.keyCode==13) {return false;}">
</form>
</div>
<div class="sidetoc">
<div class="toc" id="toc">
<ul class="nav level1">
<li>
<a href="en/index.html" name="en/toc.html" title="English">English</a>
</li>
<li>
<a href="zh-Hant/index.html" name="zh-Hant/toc.html" title="繁體中文">繁體中文</a>
</li>
</ul>
</div>
</div>
</div>
</div>