From 6bb074eec3d659263108430827db0c5c8b830149 Mon Sep 17 00:00:00 2001 From: Mathias Jakobsen Date: Thu, 22 May 2025 13:30:16 +0100 Subject: [PATCH] Merge pull request #25836 from overleaf/mj-ide-settings-padding [web] Add border padding to rail to reduce link text overlap GitOrigin-RevId: f0a49b51dccb6618ca991f2074845796f2b95933 --- .../web/frontend/stylesheets/bootstrap-5/pages/editor/rail.scss | 1 + 1 file changed, 1 insertion(+) diff --git a/services/web/frontend/stylesheets/bootstrap-5/pages/editor/rail.scss b/services/web/frontend/stylesheets/bootstrap-5/pages/editor/rail.scss index b285dc084e..a3aa9ddbb4 100644 --- a/services/web/frontend/stylesheets/bootstrap-5/pages/editor/rail.scss +++ b/services/web/frontend/stylesheets/bootstrap-5/pages/editor/rail.scss @@ -148,6 +148,7 @@ display: flex; flex-direction: column; gap: var(--spacing-02); + padding-bottom: var(--spacing-04); } .ide-rail-tab-dropdown {