From e0abc79c4aec79448a7ddc48432bd2c25b8d228e Mon Sep 17 00:00:00 2001 From: Guillaume Hivert Date: Wed, 17 Jul 2024 12:01:15 +0200 Subject: [PATCH] ui: improve padding --- apps/frontend/public/all.css | 2 +- apps/frontend/src/frontend/view/body/cache.gleam | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/apps/frontend/public/all.css b/apps/frontend/public/all.css index 156bff4..fc2f977 100644 --- a/apps/frontend/public/all.css +++ b/apps/frontend/public/all.css @@ -295,7 +295,7 @@ cache-signatures:has(:not(:defined)) { gap: 12px; height: 100vh; overflow: auto; - padding: 12px; + padding: 20px; border-right: 1px solid rgba(254, 254, 252, 0.1); mask: linear-gradient( 180deg, diff --git a/apps/frontend/src/frontend/view/body/cache.gleam b/apps/frontend/src/frontend/view/body/cache.gleam index c108839..e5b0e27 100644 --- a/apps/frontend/src/frontend/view/body/cache.gleam +++ b/apps/frontend/src/frontend/view/body/cache.gleam @@ -81,7 +81,9 @@ pub fn cache_search_results( sidebar(search, index), h.div([a.class("items-wrapper")], [ h.div([a.class("matches-titles")], [ - h.div([a.class("matches-title")], [h.text("Search results")]), + h.div([a.class("matches-title")], [ + h.text("Search results for “" <> search <> "”"), + ]), ]), view_search_results(types), maybe_separator(types),