on master help sign in
Add support for documentation tooltips
622fdeaMatilde Park
static/scripts.js+4−1
@@ -340,4 +340,7 @@ let docsNavScroll = function() {
340 }
340 }
341}
341}
342
342
343−if (window.location.href.includes("docs")) docsNavScroll();
343+if (window.location.href.includes("docs")) {
344+ docsNavScroll();
345+ tippy('.tooltip')
346+}
templates/base.html+2
@@ -35,6 +35,8 @@
35 {% if config.build_search_index %}
35 {% if config.build_search_index %}
36 <script type="text/javascript" src="{{ get_url(path="elasticlunr.min.js") | safe }}"></script>
36 <script type="text/javascript" src="{{ get_url(path="elasticlunr.min.js") | safe }}"></script>
37 <script type="text/javascript" src="{{ get_url(path="search_index.en.js") | safe }}"></script>
37 <script type="text/javascript" src="{{ get_url(path="search_index.en.js") | safe }}"></script>
38+ <script src="https://unpkg.com/popper.js@1"></script>
39+ <script src="https://unpkg.com/tippy.js@4"></script>
38 {% endif %}
40 {% endif %}
39 <script src="{{ config.base_url }}/scripts.js"></script>
41 <script src="{{ config.base_url }}/scripts.js"></script>
40 </body>
42 </body>