From 0f41e086a6f891ea64b9f9b39bf3561fb92206c7 Mon Sep 17 00:00:00 2001
From: mostafaei2002 <sinamostafaei2002@gmail.com>
Date: Sat, 18 May 2024 12:47:36 +0330
Subject: [PATCH] fix: restore removed function

---
 docs_theme/src/js/main.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs_theme/src/js/main.js b/docs_theme/src/js/main.js
index fa74d1a15..c5b856568 100644
--- a/docs_theme/src/js/main.js
+++ b/docs_theme/src/js/main.js
@@ -13,4 +13,11 @@ import "../../node_modules/bootstrap/js/dist/tooltip";
 
 import "../scss/styles.scss";
 
+function setupPrettify() {
+  const codeBlocks = document.querySelectorAll("pre code");
+  codeBlocks.forEach((block) => {
+    block.parentElement.classList.add("prettyprint", "well");
+  });
+}
+
 setupPrettify();