Shrink project search + decrease padding

2023-08-11 18:19:45 +02:00
parent e4c593c2fb
commit 0a0314eec9
2 changed files with 2 additions and 2 deletions
@@ -34,7 +34,7 @@ export default function search(): any {
    }

    return {
-        padding: { top: 32, bottom: 32, left: 32, right: 32 },
+        padding: { top: 16, bottom: 16, left: 16, right: 16 },
        // TODO: Add an activeMatchBackground on the rust side to differentiate between active and inactive
        match_background: with_opacity(
            foreground(theme.highest, "accent"),