diff --git a/services/web/frontend/js/features/ide-redesign/components/main-layout.tsx b/services/web/frontend/js/features/ide-redesign/components/main-layout.tsx
index 284e75c19d..8ec00a397e 100644
--- a/services/web/frontend/js/features/ide-redesign/components/main-layout.tsx
+++ b/services/web/frontend/js/features/ide-redesign/components/main-layout.tsx
@@ -91,7 +91,7 @@ export default function MainLayout() {
tooltipWhenClosed={t('tooltip_show_pdf')}
/>
{pdfLayout === 'sideBySide' && (
-
+
)}
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 7512424a4a..fca467fe76 100644
--- a/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
+++ b/services/web/frontend/stylesheets/bootstrap-5/pages/editor/ide.scss
@@ -61,6 +61,24 @@ $editor-toggler-bg-dark-color: color.adjust(
display: none !important;
}
}
+
+ .synctex-controls {
+ background-color: var(--bg-primary-themed);
+ border-radius: var(--border-radius-full);
+ border: 1px solid var(--border-divider-themed);
+ }
+
+ .synctex-control:not(.detach-synctex-control) {
+ margin-bottom: 0;
+ background-color: transparent;
+ color: var(--content-primary-themed);
+
+ &:hover,
+ &:active,
+ &:focus {
+ background-color: var(--bg-tertiary-themed);
+ }
+ }
}
.global-alerts {