From 783337f6d4d93d457479082ff06253d5c6bf453c Mon Sep 17 00:00:00 2001
From: Jose Salvatierra <jslvtr@gmail.com>
Date: Fri, 10 Feb 2023 19:56:46 +0000
Subject: [PATCH] search: add pre tags to algolia search

---
 docs/algolia.config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/algolia.config.json b/docs/algolia.config.json
index c5ce390d..58f54452 100644
--- a/docs/algolia.config.json
+++ b/docs/algolia.config.json
@@ -23,7 +23,7 @@
         "lvl4": "article h4",
         "lvl5": "article h5, article td:first-child",
         "lvl6": "article h6",
-        "text": "article p, article li, article td:last-child"
+        "text": "article p, article pre, article li, article td:last-child"
     },
     "strip_chars": " .,;:#",
     "custom_settings": {