WIP: Add ButtonSide element

2023-08-02 13:05:29 +02:00
parent e4871afaf3
commit 4ef59899d1
3 changed files with 165 additions and 17 deletions
@@ -44,11 +44,9 @@ export default function search(): any {
                base: {
                    ...text(theme.highest, "mono", "on"),
                    background: background(theme.highest, "on"),
-                    corner_radius: 2,
+
                    border: border(theme.highest, "on"),
-                    margin: {
-                        right: 2,
-                    },
+
                    padding: {
                        bottom: 6,
                        left: 6,