From 04a0d636191cf72bbade4227fbb8fb35478b70a5 Mon Sep 17 00:00:00 2001 From: frytimo Date: Thu, 15 Jan 2026 15:19:42 -0400 Subject: [PATCH] Adjust CSS for the Top menu (#7700) --- themes/default/css.php | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/themes/default/css.php b/themes/default/css.php index 8ae554c073..f51039d98c 100644 --- a/themes/default/css.php +++ b/themes/default/css.php @@ -655,6 +655,15 @@ else { //default: white -khtml-border-radius: ; border-radius: ; padding: 0; + z-index: 1030; + + position: fixed; + top: 0; + left: 0; + right: 0; + + position: relative; + } /* main menu logo */ @@ -720,6 +729,8 @@ else { //default: white -webkit-box-shadow: ; -moz-box-shadow: ; box-shadow: ; + z-index: 1040; + position: absolute; -moz-border-radius: ; -webkit-border-radius: ; @@ -1096,6 +1107,7 @@ else { //default: white div#body_header { position: relative; z-index: 1; + isolation: isolate; padding: 17px 10px 13px 10px; height: 60px; background-color: ; @@ -1741,6 +1753,9 @@ else { //default: white /* default body padding */ .container-fluid { width: ; + + padding-top: 49px; + } /* maximize viewport usage on xs displays */ @@ -3440,6 +3455,7 @@ else { //default: white div.action_bar { z-index: 5; + isolation: isolate;