From 5417fca60f067708f24b08a45ad49e3fce96ffba Mon Sep 17 00:00:00 2001
From: Alexandre Bourdin <abourdin@users.noreply.github.com>
Date: Tue, 29 Jul 2025 10:09:35 +0200
Subject: [PATCH] Merge pull request #27307 from
 overleaf/dp-lower-synctex-buttons

Lower synctex buttons to avoid clash with role dropdown

GitOrigin-RevId: 27a1e566e68484207bc1a2ffd6f1382350ff81fc
---
 .../web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss b/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
index a60298a53f..d6e598ea18 100644
--- a/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
+++ b/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
@@ -66,7 +66,7 @@ $editor-toggler-bg-dark-color: color.adjust(
     background-color: var(--bg-primary-themed);
     border-radius: var(--border-radius-full);
     border: 1px solid var(--border-divider-themed);
-    top: 96px;
+    top: 130px;
   }
 
   .synctex-control:not(.detach-synctex-control) {