Switch to Font Awesome 5

docs/_layouts/default.html

@@ -16,8 +16,15 @@
     {% include global/native.html %}
     {% include global/about.html %}
 
-    <script src="https://kit.fontawesome.com/418563224c.js" crossorigin="anonymous"></script>
     <script src="{{ site.url }}/assets/vendor/clipboard-2.0.11.min.js"></script>
+    <script type="text/javascript" src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
+    <script type="text/javascript"> docsearch({
+      apiKey: 'cb93c14bebd90678e789c946d95ea94d',
+      indexName: 'bulma',
+      inputSelector: '#algoliaSearch',
+      debug: false // Set debug to true if you want to inspect the dropdown
+    });
+    </script>
     <script src="{{ site.url }}/assets/javascript/main.js"></script>
   </body>
 </html>

docs/_layouts/docs.html

@@ -13,7 +13,7 @@ route: documentation
   <div class="bd-docs-overlay js-toggle" data-target="js-docs"></div>
 
   <button id="js-menu-toggle" class="button bd-docs-button js-toggle" data-target="js-docs">
-    <i class="fa-solid fa-arrow-right-from-bracket"></i>
+    <i class="fas fa-arrow-right-from-bracket"></i>
   </button>
 
   <div class="bd-docs-menu">
@@ -32,7 +32,7 @@ route: documentation
       prints=page.hero_prints
     %}
 
-    <div class="bd-docs-content">
+    <div class="bd-docs-content algolia-content">
       {% if page.markdown %}
         <div class="content">{{ content }}</div>
       {% else %}