From 573db390d84d01b5c0a05e8b57dde0570da9cb59 Mon Sep 17 00:00:00 2001
From: Zongheng Yang <zongheng.y@gmail.com>
Date: Fri, 1 Dec 2023 10:54:58 -0800
Subject: [PATCH] Docs: trying out hotjar.

---
 docs/source/_static/custom.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/source/_static/custom.js b/docs/source/_static/custom.js
index 0cadbfce0f3..a232433f9c8 100644
--- a/docs/source/_static/custom.js
+++ b/docs/source/_static/custom.js
@@ -11,3 +11,12 @@ document.addEventListener("DOMContentLoaded", function () {
        script.async = true;
        document.head.appendChild(script);
 });
+
+(function(h,o,t,j,a,r){
+       h.hj=h.hj||function(){(h.hj.q=h.hj.q||[]).push(arguments)};
+       h._hjSettings={hjid:3768396,hjsv:6};
+       a=o.getElementsByTagName('head')[0];
+       r=o.createElement('script');r.async=1;
+       r.src=t+h._hjSettings.hjid+j+h._hjSettings.hjsv;
+       a.appendChild(r);
+})(window,document,'https://static.hotjar.com/c/hotjar-','.js?sv=');