Merge branch 'main' into #198-controls-improvements

MaibornWolff · Jul 14, 2023 · a35b7bf · a35b7bf
2 parents 0f48541 + b026e8a
commit a35b7bf
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/mwui-token-farm/input/tokens.json b/mwui-token-farm/input/tokens.json
@@ -2438,13 +2438,13 @@
             }
           },
           "controls": {
-            "checkbox-radiobutton": {
+            "checkbox-radio": {
               "container": {
                 "value": "{mw.core.font.size.scale.base} * 1.5",
                 "type": "sizing"
               }
             },
-            "radiobutton": {
+            "radio": {
               "outline": {
                 "value": "{mw.core.font.size.scale.base} * 1.25",
                 "type": "sizing"
@@ -2662,6 +2662,12 @@
               "value": "{mw.core.borderWidth.sm}",
               "type": "borderWidth"
             }
+          },
+          "margin": {
+            "marginLeft": {
+              "value": "{mw.core.spacing.linear.4xl}",
+              "type": "spacing"
+            }
           }
         },
         "checkbox": {