Adding pointers to original files

FirelyTeam · Dec 14, 2020 · 413aeb4 · 413aeb4
1 parent 3ce0e74
commit 413aeb4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/_static/js/searchtools_firely.js b/_static/js/searchtools_firely.js
@@ -116,6 +116,7 @@ Search.query = function(query) {
       }
 
       // EDITS FIRELY START
+      // Based on https://github.com/sphinx-doc/sphinx/blob/master/sphinx/themes/basic/static/searchtools.js
 
       var searchTitle = '';
 

diff --git a/_templates/search.html b/_templates/search.html
@@ -1,6 +1,7 @@
 {% extends "!search.html" %}
+<!-- Based on https://github.com/readthedocs/sphinx_rtd_theme/blob/master/sphinx_rtd_theme/search.html -->
 
-{%- block scripts %}
+{% block scripts %}
     {{ super() }}
     <script type="text/javascript" src="{{ pathto('_static/js/searchtools_firely.js', 1) }}"></script>
-{%- endblock %}
+{% endblock %}