Move buttons inside of query editor (WIP)

2023-08-01 02:06:40 +02:00
parent 52a48de9ca
commit a33d8519f2
3 changed files with 90 additions and 44 deletions
@@ -44,17 +44,17 @@ export default function search(): any {
                base: {
                    ...text(theme.highest, "mono", "on"),
                    background: background(theme.highest, "on"),
-                    corner_radius: 6,
+                    corner_radius: 2,
                    border: border(theme.highest, "on"),
                    margin: {
                        right: 4,
                    },
                    padding: {
-                        bottom: 2,
-                        left: 10,
-                        right: 10,
-                        top: 2,
-                    },
+                        bottom: 6,
+                        left: 6,
+                        right: 6,
+                        top: 6,
+                },
                },
                state: {
                    hovered: {