mirror of
https://github.com/github/codeql.git
synced 2026-04-26 01:05:15 +02:00
update search settings in docs template
This commit is contained in:
@@ -50,15 +50,7 @@
|
||||
</a>
|
||||
</div>
|
||||
<div class="Header-item hide-sm hide-md">
|
||||
<form class="search" action="{{ pathto('search') }}" method="get">
|
||||
<input class="form-control input-dark" type="text" name="q" placeholder="Search" />
|
||||
<input class="btn" type="submit" value="Search" />
|
||||
<input type="hidden" name="check_keywords" value="yes" />
|
||||
<input type="hidden" name="area" value="default" />
|
||||
</form>
|
||||
<script type="text/javascript">$('#searchbox').show(0);</script>
|
||||
|
||||
<div class="clearer"></div>
|
||||
<script src="https://addsearch.com/js/?key=93b4d287e2fc079a4089412b669785d5&categories=!0xhelp.semmle.com,0xcodeql.github.com,1xdocs,1xcodeql-standard-libraries,1xcodeql-query-help"></script>
|
||||
</div>
|
||||
<div class="Header-item">
|
||||
|
||||
|
||||
Reference in New Issue
Block a user