From 0e60ebceeac1156ff1743daa973faf87539cc275 Mon Sep 17 00:00:00 2001
From: Martin Donath <martin.donath@squidfunk.com>
Date: Thu, 20 Jun 2024 10:13:59 +0200
Subject: [PATCH] Update mkdocs/themes/mkdocs/js/base.js

Co-authored-by: Tom Christie <tom@tomchristie.com>
---
 mkdocs/themes/mkdocs/js/base.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mkdocs/themes/mkdocs/js/base.js b/mkdocs/themes/mkdocs/js/base.js
index c8fa4bc4..3caa3b95 100644
--- a/mkdocs/themes/mkdocs/js/base.js
+++ b/mkdocs/themes/mkdocs/js/base.js
@@ -139,8 +139,9 @@ document.addEventListener("DOMContentLoaded", function () {
         menu.parentElement.addEventListener('hide.bs.dropdown', function() {
             menu.scrollTop = 0;
             var dropdown = menu.querySelector('.dropdown-submenu > a');
-            if (dropdown)
-              dropdown.classList.remove('open');
+            if (dropdown) {
+                dropdown.classList.remove('open');
+            }
             menu.querySelectorAll('.dropdown-menu .dropdown-menu').forEach(function(submenu) {
                 submenu.classList.remove('show');
             });