Ajout de la recherche hors-ligne - Merge #40 from geotribu/offline-se…

…arch

content/theme/main.html

@@ -1,10 +1,17 @@
 {% extends "base.html" %}
 
+{% block config %}
+{% if "localsearch" in config["plugins"] %}
+<script src="assets/javascript/iframe-worker.js"></script>
+<script src="search/search_index.js"></script>
+{% endif %}
+{% endblock %}
+
 {% block disqus %}
-    <div class="md-source-date">
-    <small>
-        Contributions à cette page : {{ git_page_authors }}
-    </small>
-  </div>
-    {% include "partials/integrations/disqus.html" %}
+<div class="md-source-date">
+  <small>
+    Contributions à cette page : {{ git_page_authors }}
+  </small>
+</div>
+{% include "partials/integrations/disqus.html" %}
 {% endblock %}

src/mkdocs/mkdocs.yml

@@ -27,7 +27,7 @@ plugins:
       lang:
         - en
         - fr
-      prebuild_index: true
+      prebuild_index: python
       separator: '[\s\-\.]+'
 
 # Theme

src/mkdocs/requirements.txt

@@ -6,6 +6,7 @@
 mkdocs-awesome-pages-plugin==2.2.*
 mkdocs-git-authors-plugin==0.3.*
 mkdocs-git-revision-date-localized-plugin==0.5.*
+mkdocs-localsearch==0.7.*
 mkdocs-material>=5.0.*
 mkdocs-minify-plugin==0.2.*
 markdown-include==0.5.*