From 4be01962ffffa68c1f6467621a4ec596e3782a3a Mon Sep 17 00:00:00 2001
From: ping-yee <611077101@mail.nknu.edu.tw>
Date: Tue, 1 Apr 2025 23:36:24 +0800
Subject: [PATCH] fix: update body padding dynamically using MutationObserver

Signed-off-by: ping-yee <611077101@mail.nknu.edu.tw>
---
 js/src/navigation.js | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/js/src/navigation.js b/js/src/navigation.js
index ea5c3f237c..3ced1bee46 100644
--- a/js/src/navigation.js
+++ b/js/src/navigation.js
@@ -1097,6 +1097,17 @@ Navigation.ResizeHandler = function () {
                 $('#floating_menubar').outerHeight(true)
             );
         }, 2);
+
+        if (window.MutationObserver) {
+            var target = document.getElementById('floating_menubar');
+            if (target) {
+                var observer = new MutationObserver(function (mutations) {
+                    $('body').css('padding-top', $('#floating_menubar').outerHeight(true));
+                });
+                observer.observe(target, { attributes: true, childList: true, subtree: true });
+            }
+        }
+        
         $('#pma_console')
             .css('margin-' + this.left, (pos + resizerWidth) + 'px');
         $resizer.css(this.left, pos + 'px');