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 1/2] 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');

From 19172b17f092b0a9ce90e854a0c6adbdf756e2d2 Mon Sep 17 00:00:00 2001
From: ping-yee <611077101@mail.nknu.edu.tw>
Date: Tue, 1 Apr 2025 23:45:42 +0800
Subject: [PATCH 2/2] fix: remove unused variable.

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

diff --git a/js/src/navigation.js b/js/src/navigation.js
index 3ced1bee46..7cb1fa6290 100644
--- a/js/src/navigation.js
+++ b/js/src/navigation.js
@@ -1101,13 +1101,13 @@ Navigation.ResizeHandler = function () {
         if (window.MutationObserver) {
             var target = document.getElementById('floating_menubar');
             if (target) {
-                var observer = new MutationObserver(function (mutations) {
+                var observer = new MutationObserver(function () {
                     $('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');