Add tokens

ClickHouse · Oct 19, 2023 · 1c4d9d8 · 1c4d9d8
1 parent f25f15e
commit 1c4d9d8
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 18 deletions.
diff --git a/src/styles/types.ts b/src/styles/types.ts
@@ -2072,25 +2072,27 @@
         "inline": {
           "top": string
         },
-        "actions": {
-          "space": {
-            "top": string,
-            "x": string,
-            "gap": string
-          }
+        "content": {
+          "x": string,
+          "row-gap": string,
+          "column-gap": string
         }
       },
       "shadow": {
         "default": string
       },
       "size": {
-        "narrow": {
+        "default": {
           "width": string,
           "height": string
         },
         "wide": {
           "width": string,
           "height": string
+        },
+        "narrow": {
+          "width": string,
+          "height": string
         }
       },
       "color": {

diff --git a/src/styles/variables.dark.json b/src/styles/variables.dark.json
@@ -990,9 +990,9 @@
       "fileTabs": {
         "color": {
           "background": {
-            "default": "#282828",
-            "hover": "#1F1F1C",
-            "active": "#1F1F1C"
+            "default": "#1F1F1C",
+            "hover": "#282828",
+            "active": "#282828"
           },
           "text": {
             "default": "#b3b6bd",

diff --git a/src/styles/variables.json b/src/styles/variables.json
@@ -2011,7 +2011,7 @@
       },
       "title": {
         "space": {
-          "gap": "0.5rem"
+          "gap": "0.25rem"
         }
       },
       "radii": {
@@ -2071,25 +2071,27 @@
         "inline": {
           "top": "3.5rem"
         },
-        "actions": {
-          "space": {
-            "top": "1rem",
-            "x": "1.5rem",
-            "gap": "1rem"
-          }
+        "content": {
+          "x": "1.5rem",
+          "row-gap": "0.25rem",
+          "column-gap": "1rem"
         }
       },
       "shadow": {
         "default": "-5px 0 20px 0 rgba(0, 0, 0, 0.08), -6px 0 10px 0 rgba(0, 0, 0, 0.08)"
       },
       "size": {
-        "narrow": {
+        "default": {
           "width": "27.5rem",
           "height": "100%"
         },
         "wide": {
           "width": "37.5rem",
           "height": "100vh"
+        },
+        "narrow": {
+          "width": "21rem",
+          "height": "100%"
         }
       },
       "color": {