ui: improve padding

ghivert · Jul 17, 2024 · e0abc79 · e0abc79
1 parent 5ce05ed
commit e0abc79
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git 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
@@ -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),