- Rename src to _src

This commit is contained in:
Stone_Red
2021-12-23 11:11:06 +01:00
parent ed84fe37ed
commit 441a8b00cc
171 changed files with 26339 additions and 0 deletions
@@ -0,0 +1,22 @@
<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="Enter here to filter..." onkeypress="if(event.keyCode==13) {return false;}">
</form>
</div>
<div class="sidetoc">
<div class="toc" id="toc">
<ul class="nav level1">
<li>
<a href="intro.html" name="" title="Introduction">Introduction</a>
</li>
</ul>
</div>
</div>
</div>
</div>