From 0973158b8f1d02303e79756d883cd49ba4b4d5bf Mon Sep 17 00:00:00 2001
From: Martin Geisler <martin@geisler.net>
Date: Tue, 5 Mar 2024 11:24:24 +0100
Subject: [PATCH] Update theme/book.js

---
 theme/book.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theme/book.js b/theme/book.js
index b9531745b1a7..3c46f6af926a 100644
--- a/theme/book.js
+++ b/theme/book.js
@@ -721,4 +721,4 @@ function playground_text(playground, hidden = true) {
         updateBorder();
         document.addEventListener('scroll', updateBorder, { passive: true });
     })();
-})();
\ No newline at end of file
+})();