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 fca467fe76..8fe5ced008 100644
--- a/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
+++ b/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
@@ -66,6 +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;
   }
 
   .synctex-control:not(.detach-synctex-control) {