From eb52a3595706bed7d7c2a30366af7e7fd8df4041 Mon Sep 17 00:00:00 2001 From: Alessia Peviani Date: Mon, 5 Jun 2023 16:43:01 +0200 Subject: [PATCH] Add padding to GlobalSearch when TopBar is active --- packages/ui/src/GlobalSearch.jsx | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/ui/src/GlobalSearch.jsx b/packages/ui/src/GlobalSearch.jsx index bef0acf21..85d0b5f8d 100644 --- a/packages/ui/src/GlobalSearch.jsx +++ b/packages/ui/src/GlobalSearch.jsx @@ -49,6 +49,8 @@ const useStyles = makeStyles((theme) => ({ right: "10px", }, modal: { + // leave the space that will be hidden behind the logo bar unused + paddingTop: (window.configShowTopBar ?? false) ? "50px" : "", "& .MuiDialog-scrollPaper": { alignItems: "start", "& .MuiDialog-paperWidthSm": {