Updated theme compilation to use internal

Mikayla Maki created

Change summary

assets/themes/internal/cave-internal-dark.json  | 2283 +++++++++++++++++++
assets/themes/internal/cave-internal-light.json | 2283 +++++++++++++++++++
styles/src/buildThemes.ts                       |   44 
styles/src/themes.ts                            |   23 
styles/src/themes/internal/cave-internal.ts     |   28 
5 files changed, 4,637 insertions(+), 24 deletions(-)

Detailed changes

assets/themes/internal/cave-internal-dark.json 🔗

@@ -0,0 +1,2283 @@
+{
+  "meta": {
+    "name": "cave-internal-dark",
+    "is_light": false
+  },
+  "picker": {
+    "background": "#222222",
+    "corner_radius": 8,
+    "padding": 8,
+    "item": {
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 4
+      },
+      "corner_radius": 8,
+      "text": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "highlight_text": {
+        "family": "Zed Sans",
+        "color": "#ffffff",
+        "weight": "bold",
+        "size": 14
+      },
+      "active": {
+        "background": "#2b2b2b",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      },
+      "hover": {
+        "background": "#262626"
+      }
+    },
+    "border": {
+      "color": "#111111",
+      "width": 1
+    },
+    "empty": {
+      "text": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 8
+      }
+    },
+    "input_editor": {
+      "background": "#111111",
+      "corner_radius": 8,
+      "placeholder_text": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#999999",
+        "size": 14
+      },
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 7,
+        "left": 16,
+        "right": 16,
+        "top": 7
+      }
+    },
+    "shadow": {
+      "blur": 16,
+      "color": "#0000003d",
+      "offset": [
+        0,
+        2
+      ]
+    }
+  },
+  "workspace": {
+    "background": "#222222",
+    "joining_project_avatar": {
+      "corner_radius": 40,
+      "width": 80
+    },
+    "joining_project_message": {
+      "padding": 12,
+      "family": "Zed Sans",
+      "color": "#999999",
+      "size": 18
+    },
+    "leader_border_opacity": 0.7,
+    "leader_border_width": 2,
+    "tab_bar": {
+      "height": 32,
+      "background": "#222222",
+      "drop_target_overlay_color": "#55555599",
+      "border": {
+        "color": "#111111",
+        "width": 1,
+        "left": true,
+        "bottom": true,
+        "overlay": true
+      },
+      "active_pane": {
+        "active_tab": {
+          "height": 32,
+          "background": "#111111",
+          "border": {
+            "color": "#111111",
+            "width": 1,
+            "left": true,
+            "bottom": false,
+            "overlay": true
+          },
+          "icon_close": "#555555",
+          "icon_close_active": "#000000",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#000000",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#555555",
+            "size": 10
+          }
+        },
+        "inactive_tab": {
+          "height": 32,
+          "background": "#222222",
+          "border": {
+            "color": "#111111",
+            "width": 1,
+            "left": true,
+            "bottom": true,
+            "overlay": true
+          },
+          "icon_close": "#555555",
+          "icon_close_active": "#000000",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#888888",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#555555",
+            "size": 10
+          }
+        }
+      },
+      "inactive_pane": {
+        "active_tab": {
+          "height": 32,
+          "background": "#111111",
+          "border": {
+            "color": "#111111",
+            "width": 1,
+            "left": true,
+            "bottom": false,
+            "overlay": true
+          },
+          "icon_close": "#555555",
+          "icon_close_active": "#000000",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#888888",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#555555",
+            "size": 10
+          }
+        },
+        "inactive_tab": {
+          "height": 32,
+          "background": "#222222",
+          "border": {
+            "color": "#111111",
+            "width": 1,
+            "left": true,
+            "bottom": true,
+            "overlay": true
+          },
+          "icon_close": "#555555",
+          "icon_close_active": "#000000",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#555555",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#555555",
+            "size": 10
+          }
+        }
+      },
+      "dragged_tab": {
+        "height": 32,
+        "background": "#222222cc",
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "left": false,
+          "bottom": false,
+          "overlay": true,
+          "top": false,
+          "right": false
+        },
+        "icon_close": "#555555",
+        "icon_close_active": "#000000",
+        "icon_conflict": "#cccccc",
+        "icon_dirty": "#ffffff",
+        "icon_width": 8,
+        "spacing": 8,
+        "text": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        },
+        "padding": {
+          "left": 8,
+          "right": 8
+        },
+        "description": {
+          "margin": {
+            "left": 6,
+            "top": 1
+          },
+          "family": "Zed Sans",
+          "color": "#555555",
+          "size": 10
+        },
+        "shadow": {
+          "blur": 6,
+          "color": "#0000003d",
+          "offset": [
+            1,
+            2
+          ]
+        }
+      },
+      "pane_button": {
+        "color": "#888888",
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "left": true,
+          "bottom": true,
+          "overlay": true
+        },
+        "icon_width": 12,
+        "button_width": 32,
+        "hover": {
+          "color": "#000000",
+          "background": "#222222"
+        }
+      }
+    },
+    "modal": {
+      "margin": {
+        "bottom": 52,
+        "top": 52
+      },
+      "cursor": "Arrow"
+    },
+    "sidebar_resize_handle": {
+      "background": "#111111",
+      "padding": {
+        "left": 1
+      }
+    },
+    "pane_divider": {
+      "color": "#222222",
+      "width": 1
+    },
+    "status_bar": {
+      "height": 30,
+      "item_spacing": 8,
+      "padding": {
+        "top": 1,
+        "bottom": 1,
+        "left": 6,
+        "right": 6
+      },
+      "border": {
+        "color": "#111111",
+        "width": 1,
+        "top": true,
+        "overlay": true
+      },
+      "cursor_position": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "auto_update_progress_message": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "auto_update_done_message": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "lsp_status": {
+        "corner_radius": 6,
+        "padding": {
+          "top": 1,
+          "bottom": 1,
+          "left": 6,
+          "right": 6
+        },
+        "icon_spacing": 4,
+        "icon_width": 14,
+        "height": 18,
+        "message": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "icon_color": "#555555",
+        "hover": {
+          "message": {
+            "family": "Zed Sans",
+            "color": "#999999",
+            "size": 14
+          },
+          "icon_color": "#999999",
+          "background": "#262626"
+        }
+      },
+      "diagnostic_message": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14,
+        "hover": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      },
+      "feedback": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14,
+        "hover": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      },
+      "diagnostic_summary": {
+        "height": 16,
+        "icon_width": 16,
+        "icon_spacing": 2,
+        "summary_spacing": 6,
+        "text": {
+          "family": "Zed Sans",
+          "color": "#999999",
+          "size": 14
+        },
+        "icon_color_ok": "#555555",
+        "icon_color_warning": "#cccccc",
+        "icon_color_error": "#aaaaaa",
+        "container_ok": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 3,
+            "bottom": 3,
+            "left": 7,
+            "right": 7
+          }
+        },
+        "container_warning": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 1,
+            "bottom": 1,
+            "left": 6,
+            "right": 6
+          },
+          "background": "#cccccc26",
+          "border": {
+            "color": "#7e7e7e",
+            "width": 1
+          }
+        },
+        "container_error": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 1,
+            "bottom": 1,
+            "left": 6,
+            "right": 6
+          },
+          "background": "#aaaaaa26",
+          "border": {
+            "color": "#6a6a6a",
+            "width": 1
+          }
+        },
+        "hover": {
+          "icon_color_ok": "#000000",
+          "container_ok": {
+            "corner_radius": 6,
+            "padding": {
+              "top": 3,
+              "bottom": 3,
+              "left": 7,
+              "right": 7
+            },
+            "background": "#262626"
+          },
+          "container_warning": {
+            "corner_radius": 6,
+            "padding": {
+              "top": 1,
+              "bottom": 1,
+              "left": 6,
+              "right": 6
+            },
+            "background": "#cccccc33",
+            "border": {
+              "color": "#7e7e7e",
+              "width": 1
+            }
+          },
+          "container_error": {
+            "corner_radius": 6,
+            "padding": {
+              "top": 1,
+              "bottom": 1,
+              "left": 6,
+              "right": 6
+            },
+            "background": "#aaaaaa33",
+            "border": {
+              "color": "#6a6a6a",
+              "width": 1
+            }
+          }
+        }
+      },
+      "sidebar_buttons": {
+        "group_left": {},
+        "group_right": {},
+        "item": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 3,
+            "bottom": 3,
+            "left": 6,
+            "right": 6
+          },
+          "icon_size": 16,
+          "icon_color": "#555555",
+          "hover": {
+            "icon_color": "#000000",
+            "background": "#262626"
+          },
+          "active": {
+            "icon_color": "#000000",
+            "background": "#2b2b2b"
+          }
+        },
+        "badge": {
+          "corner_radius": 3,
+          "padding": 2,
+          "margin": {
+            "bottom": -1,
+            "right": -1
+          },
+          "border": {
+            "width": 1,
+            "color": "#222222"
+          },
+          "background": "#ffffff"
+        }
+      }
+    },
+    "titlebar": {
+      "avatar_width": 18,
+      "avatar_margin": 8,
+      "height": 33,
+      "background": "#262626",
+      "padding": {
+        "left": 80,
+        "right": 6
+      },
+      "title": {
+        "family": "Zed Sans",
+        "color": "#999999",
+        "size": 14
+      },
+      "avatar": {
+        "corner_radius": 10,
+        "border": {
+          "color": "#00000088",
+          "width": 1
+        }
+      },
+      "avatar_ribbon": {
+        "height": 3,
+        "width": 12
+      },
+      "border": {
+        "color": "#111111",
+        "width": 1,
+        "bottom": true,
+        "overlay": true
+      },
+      "sign_in_prompt": {
+        "background": "#262626",
+        "border": {
+          "color": "#222222",
+          "width": 1
+        },
+        "corner_radius": 6,
+        "margin": {
+          "top": 1
+        },
+        "padding": {
+          "top": 1,
+          "bottom": 1,
+          "left": 7,
+          "right": 7
+        },
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 12,
+        "hover": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 12,
+          "background": "#1a1a1a",
+          "border": {
+            "color": "#111111",
+            "width": 1
+          }
+        }
+      },
+      "offline_icon": {
+        "color": "#888888",
+        "width": 16,
+        "margin": {
+          "left": 6
+        },
+        "padding": {
+          "right": 4
+        }
+      },
+      "outdated_warning": {
+        "family": "Zed Sans",
+        "color": "#cccccc",
+        "size": 12,
+        "background": "#cccccc26",
+        "border": {
+          "color": "#7e7e7e",
+          "width": 1
+        },
+        "margin": {
+          "left": 6
+        },
+        "padding": {
+          "left": 6,
+          "right": 6
+        },
+        "corner_radius": 6
+      }
+    },
+    "toolbar": {
+      "height": 34,
+      "background": "#111111",
+      "border": {
+        "color": "#222222",
+        "width": 1,
+        "bottom": true
+      },
+      "item_spacing": 8,
+      "nav_button": {
+        "color": "#999999",
+        "icon_width": 12,
+        "button_width": 24,
+        "corner_radius": 6,
+        "hover": {
+          "color": "#000000",
+          "background": "#2b2b2b"
+        },
+        "disabled": {
+          "color": "#55555599"
+        }
+      },
+      "padding": {
+        "left": 8,
+        "right": 8,
+        "top": 4,
+        "bottom": 4
+      }
+    },
+    "breadcrumbs": {
+      "family": "Zed Mono",
+      "color": "#888888",
+      "size": 14,
+      "padding": {
+        "left": 6
+      }
+    },
+    "disconnected_overlay": {
+      "family": "Zed Sans",
+      "color": "#000000",
+      "size": 14,
+      "background": "#111111cc"
+    },
+    "notification": {
+      "margin": {
+        "top": 10
+      },
+      "background": "#222222",
+      "corner_radius": 6,
+      "padding": 12,
+      "border": {
+        "color": "#111111",
+        "width": 1
+      },
+      "shadow": {
+        "blur": 16,
+        "color": "#0000003d",
+        "offset": [
+          0,
+          2
+        ]
+      }
+    },
+    "notifications": {
+      "width": 400,
+      "margin": {
+        "right": 10,
+        "bottom": 10
+      }
+    }
+  },
+  "context_menu": {
+    "background": "#222222",
+    "corner_radius": 6,
+    "padding": 6,
+    "shadow": {
+      "blur": 4,
+      "color": "#0000003d",
+      "offset": [
+        1,
+        2
+      ]
+    },
+    "border": {
+      "color": "#111111",
+      "width": 1
+    },
+    "keystroke_margin": 30,
+    "item": {
+      "icon_spacing": 8,
+      "icon_width": 14,
+      "padding": {
+        "left": 4,
+        "right": 4,
+        "top": 2,
+        "bottom": 2
+      },
+      "corner_radius": 6,
+      "label": {
+        "family": "Zed Sans",
+        "color": "#999999",
+        "size": 14
+      },
+      "keystroke": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14,
+        "weight": "bold",
+        "padding": {
+          "left": 3,
+          "right": 3
+        }
+      },
+      "hover": {
+        "background": "#262626",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#999999",
+          "size": 14
+        }
+      },
+      "active": {
+        "background": "#2b2b2b",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      },
+      "active_hover": {
+        "background": "#262626",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      }
+    },
+    "separator": {
+      "background": "#111111",
+      "margin": {
+        "top": 2,
+        "bottom": 2
+      }
+    }
+  },
+  "editor": {
+    "text_color": "#000000",
+    "background": "#111111",
+    "active_line_background": "#222222",
+    "code_actions": {
+      "indicator": "#888888",
+      "vertical_scale": 0.618
+    },
+    "diff_background_deleted": "#aaaaaa26",
+    "diff_background_inserted": "#dddddd26",
+    "document_highlight_read_background": "#4d4d4d3d",
+    "document_highlight_write_background": "#4d4d4d7a",
+    "error_color": "#aaaaaa",
+    "gutter_background": "#111111",
+    "gutter_padding_factor": 3.5,
+    "highlighted_line_background": "#262626",
+    "line_number": "#444444",
+    "line_number_active": "#000000",
+    "rename_fade": 0.6,
+    "unnecessary_code_fade": 0.5,
+    "selection": {
+      "cursor": "#ffffff",
+      "selection": "#ffffff3d"
+    },
+    "guest_selections": [
+      {
+        "cursor": "#dddddd",
+        "selection": "#dddddd3d"
+      },
+      {
+        "cursor": "#cdcdcd",
+        "selection": "#cdcdcd3d"
+      },
+      {
+        "cursor": "#bbbbbb",
+        "selection": "#bbbbbb3d"
+      },
+      {
+        "cursor": "#ababab",
+        "selection": "#ababab3d"
+      },
+      {
+        "cursor": "#eeeeee",
+        "selection": "#eeeeee3d"
+      },
+      {
+        "cursor": "#aaaaaa",
+        "selection": "#aaaaaa3d"
+      },
+      {
+        "cursor": "#cccccc",
+        "selection": "#cccccc3d"
+      }
+    ],
+    "autocomplete": {
+      "background": "#111111",
+      "corner_radius": 8,
+      "padding": 4,
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "shadow": {
+        "blur": 4,
+        "color": "#0000003d",
+        "offset": [
+          1,
+          2
+        ]
+      },
+      "item": {
+        "corner_radius": 6,
+        "padding": {
+          "bottom": 2,
+          "left": 6,
+          "right": 6,
+          "top": 2
+        }
+      },
+      "hovered_item": {
+        "corner_radius": 6,
+        "padding": {
+          "bottom": 2,
+          "left": 6,
+          "right": 6,
+          "top": 2
+        },
+        "background": "#151515"
+      },
+      "margin": {
+        "left": -14
+      },
+      "match_highlight": {
+        "family": "Zed Mono",
+        "color": "#ffffff",
+        "size": 14
+      },
+      "selected_item": {
+        "corner_radius": 6,
+        "padding": {
+          "bottom": 2,
+          "left": 6,
+          "right": 6,
+          "top": 2
+        },
+        "background": "#1a1a1a"
+      }
+    },
+    "diagnostic_header": {
+      "background": "#222222",
+      "icon_width_factor": 1.5,
+      "text_scale_factor": 0.857,
+      "border": {
+        "color": "#222222",
+        "width": 1,
+        "bottom": true,
+        "top": true
+      },
+      "code": {
+        "family": "Zed Mono",
+        "color": "#888888",
+        "size": 14,
+        "margin": {
+          "left": 10
+        }
+      },
+      "message": {
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#999999",
+          "size": 14,
+          "weight": "bold"
+        },
+        "text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        }
+      }
+    },
+    "diagnostic_path_header": {
+      "background": "#222222",
+      "text_scale_factor": 0.857,
+      "filename": {
+        "family": "Zed Mono",
+        "color": "#999999",
+        "size": 14
+      },
+      "path": {
+        "family": "Zed Mono",
+        "color": "#555555",
+        "size": 14,
+        "margin": {
+          "left": 12
+        }
+      }
+    },
+    "error_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#aaaaaa",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#aaaaaa",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "warning_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#cccccc",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#cccccc",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "information_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "hint_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_error_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_hint_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_information_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_warning_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#111111",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "hover_popover": {
+      "container": {
+        "background": "#222222",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000003d",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#222222",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "info_container": {
+        "background": "#232323",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000003d",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#0a0a0a",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "warning_container": {
+        "background": "#1d1d1d",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000003d",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#0a0a0a",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "error_container": {
+        "background": "#1a1a1a",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000003d",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#0a0a0a",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "block_style": {
+        "padding": {
+          "top": 4
+        }
+      },
+      "prose": {
+        "family": "Zed Sans",
+        "color": "#999999",
+        "size": 14
+      },
+      "highlight": "#4d4d4d3d"
+    },
+    "link_definition": {
+      "color": "#dddddd",
+      "underline": true
+    },
+    "jump_icon": {
+      "color": "#888888",
+      "icon_width": 20,
+      "button_width": 20,
+      "corner_radius": 6,
+      "padding": {
+        "top": 6,
+        "bottom": 6,
+        "left": 6,
+        "right": 6
+      },
+      "hover": {
+        "color": "#000000",
+        "background": "#222222"
+      }
+    },
+    "composition_mark": {
+      "underline": {
+        "thickness": 1,
+        "color": "#444444"
+      }
+    },
+    "syntax": {
+      "primary": {
+        "color": "#000000",
+        "weight": "normal"
+      },
+      "comment": {
+        "color": "#888888",
+        "weight": "normal"
+      },
+      "punctuation": {
+        "color": "#999999",
+        "weight": "normal"
+      },
+      "constant": {
+        "color": "#555555",
+        "weight": "normal"
+      },
+      "keyword": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "function": {
+        "color": "#cccccc",
+        "weight": "normal"
+      },
+      "type": {
+        "color": "#eeeeee",
+        "weight": "normal"
+      },
+      "constructor": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "variant": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "property": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "enum": {
+        "color": "#bbbbbb",
+        "weight": "normal"
+      },
+      "operator": {
+        "color": "#bbbbbb",
+        "weight": "normal"
+      },
+      "string": {
+        "color": "#bbbbbb",
+        "weight": "normal"
+      },
+      "number": {
+        "color": "#dddddd",
+        "weight": "normal"
+      },
+      "boolean": {
+        "color": "#dddddd",
+        "weight": "normal"
+      },
+      "predictive": {
+        "color": "#555555",
+        "weight": "normal"
+      },
+      "title": {
+        "color": "#cccccc",
+        "weight": "bold"
+      },
+      "emphasis": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "emphasis.strong": {
+        "color": "#ffffff",
+        "weight": "bold"
+      },
+      "link_uri": {
+        "color": "#dddddd",
+        "weight": "normal",
+        "underline": true
+      },
+      "link_text": {
+        "color": "#bbbbbb",
+        "weight": "normal",
+        "italic": true
+      }
+    }
+  },
+  "project_diagnostics": {
+    "background": "#111111",
+    "tab_icon_spacing": 4,
+    "tab_icon_width": 13,
+    "tab_summary_spacing": 10,
+    "empty_message": {
+      "family": "Zed Sans",
+      "color": "#888888",
+      "size": 16
+    }
+  },
+  "command_palette": {
+    "keystroke_spacing": 8,
+    "key": {
+      "text": {
+        "family": "Zed Mono",
+        "color": "#888888",
+        "size": 12
+      },
+      "corner_radius": 4,
+      "background": "#111111",
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "padding": {
+        "top": 2,
+        "bottom": 2,
+        "left": 8,
+        "right": 8
+      },
+      "margin": {
+        "left": 2
+      },
+      "active": {
+        "text": {
+          "family": "Zed Mono",
+          "color": "#000000",
+          "size": 12
+        }
+      }
+    }
+  },
+  "project_panel": {
+    "padding": {
+      "left": 12,
+      "right": 12,
+      "top": 6,
+      "bottom": 6
+    },
+    "indent_width": 8,
+    "entry": {
+      "height": 24,
+      "icon_color": "#555555",
+      "icon_size": 8,
+      "icon_spacing": 8,
+      "text": {
+        "family": "Zed Mono",
+        "color": "#888888",
+        "size": 14
+      },
+      "hover": {
+        "background": "#262626"
+      },
+      "active": {
+        "background": "#2b2b2b",
+        "text": {
+          "family": "Zed Mono",
+          "color": "#000000",
+          "size": 14
+        }
+      },
+      "active_hover": {
+        "background": "#2b2b2b",
+        "text": {
+          "family": "Zed Mono",
+          "color": "#000000",
+          "size": 14
+        }
+      }
+    },
+    "cut_entry_fade": 0.4,
+    "ignored_entry_fade": 0.6,
+    "filename_editor": {
+      "background": "#111111",
+      "text": {
+        "family": "Zed Mono",
+        "color": "#000000",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      }
+    }
+  },
+  "chat_panel": {
+    "padding": {
+      "top": 12,
+      "bottom": 12
+    },
+    "channel_name": {
+      "family": "Zed Sans",
+      "color": "#999999",
+      "weight": "bold",
+      "size": 14
+    },
+    "channel_name_hash": {
+      "family": "Zed Sans",
+      "color": "#555555",
+      "size": 14,
+      "padding": {
+        "right": 8
+      }
+    },
+    "channel_select": {
+      "header": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#999999",
+          "size": 14
+        },
+        "padding": {
+          "bottom": 4,
+          "left": 0
+        },
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#555555",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "corner_radius": 0
+      },
+      "item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#555555",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "corner_radius": 0
+      },
+      "hovered_item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#888888",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#555555",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "background": "#262626",
+        "corner_radius": 6
+      },
+      "active_item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#999999",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#555555",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "corner_radius": 0
+      },
+      "hovered_active_item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#999999",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#555555",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "background": "#262626",
+        "corner_radius": 6
+      },
+      "menu": {
+        "background": "#111111",
+        "corner_radius": 6,
+        "padding": 4,
+        "border": {
+          "color": "#111111",
+          "width": 1
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000003d",
+          "offset": [
+            1,
+            2
+          ]
+        }
+      }
+    },
+    "sign_in_prompt": {
+      "family": "Zed Sans",
+      "color": "#888888",
+      "underline": true,
+      "size": 14
+    },
+    "hovered_sign_in_prompt": {
+      "family": "Zed Sans",
+      "color": "#999999",
+      "underline": true,
+      "size": 14
+    },
+    "message": {
+      "body": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "timestamp": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 6
+      },
+      "sender": {
+        "family": "Zed Sans",
+        "color": "#999999",
+        "weight": "bold",
+        "size": 14,
+        "margin": {
+          "right": 8
+        }
+      }
+    },
+    "pending_message": {
+      "body": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "timestamp": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 6
+      },
+      "sender": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "weight": "bold",
+        "size": 14,
+        "margin": {
+          "right": 8
+        }
+      }
+    },
+    "input_editor": {
+      "background": "#111111",
+      "corner_radius": 6,
+      "text": {
+        "family": "Zed Mono",
+        "color": "#999999",
+        "size": 14
+      },
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#444444",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 7,
+        "left": 8,
+        "right": 8,
+        "top": 7
+      }
+    }
+  },
+  "contacts_panel": {
+    "padding": {
+      "top": 12,
+      "bottom": 0
+    },
+    "user_query_editor": {
+      "background": "#111111",
+      "corner_radius": 6,
+      "text": {
+        "family": "Zed Mono",
+        "color": "#999999",
+        "size": 14
+      },
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#444444",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 4,
+        "left": 8,
+        "right": 8,
+        "top": 4
+      },
+      "margin": {
+        "left": 12,
+        "right": 12
+      }
+    },
+    "user_query_editor_height": 32,
+    "add_contact_button": {
+      "margin": {
+        "left": 6,
+        "right": 12
+      },
+      "color": "#999999",
+      "button_width": 16,
+      "icon_width": 16
+    },
+    "private_button": {
+      "icon_width": 12,
+      "color": "#999999",
+      "corner_radius": 5,
+      "button_width": 12
+    },
+    "row_height": 28,
+    "section_icon_size": 8,
+    "header_row": {
+      "family": "Zed Mono",
+      "color": "#888888",
+      "size": 14,
+      "margin": {
+        "top": 14
+      },
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "active": {
+        "family": "Zed Mono",
+        "color": "#999999",
+        "size": 14,
+        "background": "#2f2f2f"
+      }
+    },
+    "contact_row": {
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "active": {
+        "background": "#2f2f2f"
+      }
+    },
+    "tree_branch": {
+      "color": "#444444",
+      "width": 1,
+      "hover": {
+        "color": "#444444"
+      },
+      "active": {
+        "color": "#444444"
+      }
+    },
+    "contact_avatar": {
+      "corner_radius": 10,
+      "width": 18
+    },
+    "contact_username": {
+      "family": "Zed Mono",
+      "color": "#999999",
+      "size": 14,
+      "margin": {
+        "left": 8
+      }
+    },
+    "contact_button_spacing": 8,
+    "contact_button": {
+      "background": "#262626",
+      "color": "#999999",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8,
+      "hover": {
+        "background": "#1a1a1a"
+      }
+    },
+    "disabled_button": {
+      "background": "#262626",
+      "color": "#555555",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8
+    },
+    "project_row": {
+      "guest_avatar_spacing": 4,
+      "height": 24,
+      "guest_avatar": {
+        "corner_radius": 8,
+        "width": 14
+      },
+      "name": {
+        "family": "Zed Mono",
+        "color": "#888888",
+        "size": 14,
+        "margin": {
+          "left": 8,
+          "right": 6
+        }
+      },
+      "guests": {
+        "margin": {
+          "left": 8,
+          "right": 8
+        }
+      },
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "background": "#222222",
+      "hover": {
+        "background": "#262626"
+      },
+      "active": {
+        "background": "#2b2b2b"
+      }
+    },
+    "invite_row": {
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "border": {
+        "top": true,
+        "width": 1,
+        "color": "#111111"
+      },
+      "text": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "hover": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      }
+    }
+  },
+  "contact_finder": {
+    "background": "#222222",
+    "corner_radius": 8,
+    "padding": 8,
+    "item": {
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 4
+      },
+      "corner_radius": 8,
+      "text": {
+        "family": "Zed Sans",
+        "color": "#888888",
+        "size": 14
+      },
+      "highlight_text": {
+        "family": "Zed Sans",
+        "color": "#ffffff",
+        "weight": "bold",
+        "size": 14
+      },
+      "active": {
+        "background": "#2b2b2b",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#000000",
+          "size": 14
+        }
+      },
+      "hover": {
+        "background": "#262626"
+      }
+    },
+    "border": {
+      "color": "#111111",
+      "width": 1
+    },
+    "empty": {
+      "text": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 8
+      }
+    },
+    "input_editor": {
+      "background": "#111111",
+      "corner_radius": 8,
+      "placeholder_text": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#999999",
+        "size": 14
+      },
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 7,
+        "left": 16,
+        "right": 16,
+        "top": 7
+      }
+    },
+    "shadow": {
+      "blur": 16,
+      "color": "#0000003d",
+      "offset": [
+        0,
+        2
+      ]
+    },
+    "row_height": 28,
+    "contact_avatar": {
+      "corner_radius": 10,
+      "width": 18
+    },
+    "contact_username": {
+      "padding": {
+        "left": 8
+      }
+    },
+    "contact_button": {
+      "background": "#262626",
+      "color": "#999999",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8,
+      "hover": {
+        "background": "#2b2b2b"
+      }
+    },
+    "disabled_contact_button": {
+      "background": "#262626",
+      "color": "#555555",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8
+    }
+  },
+  "search": {
+    "match_background": "#3a3a3a",
+    "tab_icon_spacing": 8,
+    "tab_icon_width": 14,
+    "option_button": {
+      "family": "Zed Mono",
+      "color": "#888888",
+      "size": 14,
+      "background": "#222222",
+      "corner_radius": 6,
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "margin": {
+        "right": 4
+      },
+      "padding": {
+        "bottom": 2,
+        "left": 10,
+        "right": 10,
+        "top": 2
+      },
+      "active": {
+        "family": "Zed Mono",
+        "color": "#000000",
+        "size": 14,
+        "background": "#333333",
+        "border": {
+          "color": "#444444",
+          "width": 1
+        }
+      },
+      "hover": {
+        "family": "Zed Mono",
+        "color": "#000000",
+        "size": 14,
+        "background": "#2b2b2b",
+        "border": {
+          "color": "#444444",
+          "width": 1
+        }
+      }
+    },
+    "editor": {
+      "background": "#111111",
+      "corner_radius": 8,
+      "min_width": 200,
+      "max_width": 500,
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#444444",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#000000",
+        "size": 14
+      },
+      "border": {
+        "color": "#222222",
+        "width": 1
+      },
+      "margin": {
+        "right": 12
+      },
+      "padding": {
+        "top": 3,
+        "bottom": 3,
+        "left": 12,
+        "right": 8
+      }
+    },
+    "invalid_editor": {
+      "background": "#111111",
+      "corner_radius": 8,
+      "min_width": 200,
+      "max_width": 500,
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#444444",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#000000",
+        "size": 14
+      },
+      "border": {
+        "color": "#6a6a6a",
+        "width": 1
+      },
+      "margin": {
+        "right": 12
+      },
+      "padding": {
+        "top": 3,
+        "bottom": 3,
+        "left": 12,
+        "right": 8
+      }
+    },
+    "match_index": {
+      "family": "Zed Mono",
+      "color": "#555555",
+      "size": 14,
+      "padding": 6
+    },
+    "option_button_group": {
+      "padding": {
+        "left": 12,
+        "right": 12
+      }
+    },
+    "results_status": {
+      "family": "Zed Mono",
+      "color": "#999999",
+      "size": 18
+    }
+  },
+  "breadcrumbs": {
+    "family": "Zed Sans",
+    "color": "#888888",
+    "size": 14,
+    "padding": {
+      "left": 6
+    }
+  },
+  "contact_notification": {
+    "header_avatar": {
+      "height": 12,
+      "width": 12,
+      "corner_radius": 6
+    },
+    "header_message": {
+      "family": "Zed Sans",
+      "color": "#999999",
+      "size": 12,
+      "margin": {
+        "left": 8,
+        "right": 8
+      }
+    },
+    "header_height": 18,
+    "body_message": {
+      "family": "Zed Sans",
+      "color": "#888888",
+      "size": 12,
+      "margin": {
+        "left": 20,
+        "top": 6,
+        "bottom": 6
+      }
+    },
+    "button": {
+      "family": "Zed Sans",
+      "color": "#999999",
+      "size": 12,
+      "background": "#111111",
+      "padding": 4,
+      "corner_radius": 6,
+      "margin": {
+        "left": 6
+      },
+      "hover": {
+        "background": "#1a1a1a"
+      }
+    },
+    "dismiss_button": {
+      "color": "#888888",
+      "icon_width": 8,
+      "icon_height": 8,
+      "button_width": 8,
+      "button_height": 8,
+      "hover": {
+        "color": "#999999"
+      }
+    }
+  },
+  "update_notification": {
+    "message": {
+      "family": "Zed Sans",
+      "color": "#999999",
+      "size": 12,
+      "margin": {
+        "left": 8,
+        "right": 8
+      }
+    },
+    "action_message": {
+      "family": "Zed Sans",
+      "color": "#888888",
+      "size": 12,
+      "margin": {
+        "left": 8,
+        "top": 6,
+        "bottom": 6
+      },
+      "hover": {
+        "color": "#000000"
+      }
+    },
+    "dismiss_button": {
+      "color": "#888888",
+      "icon_width": 8,
+      "icon_height": 8,
+      "button_width": 8,
+      "button_height": 8,
+      "hover": {
+        "color": "#999999"
+      }
+    }
+  },
+  "tooltip": {
+    "background": "#111111",
+    "border": {
+      "color": "#222222",
+      "width": 1
+    },
+    "padding": {
+      "top": 4,
+      "bottom": 4,
+      "left": 8,
+      "right": 8
+    },
+    "margin": {
+      "top": 6,
+      "left": 6
+    },
+    "shadow": {
+      "blur": 4,
+      "color": "#0000003d",
+      "offset": [
+        1,
+        2
+      ]
+    },
+    "corner_radius": 6,
+    "text": {
+      "family": "Zed Sans",
+      "color": "#999999",
+      "size": 12
+    },
+    "keystroke": {
+      "background": "#222222",
+      "corner_radius": 4,
+      "margin": {
+        "left": 6
+      },
+      "padding": {
+        "left": 4,
+        "right": 4
+      },
+      "family": "Zed Mono",
+      "color": "#888888",
+      "size": 12,
+      "weight": "bold"
+    },
+    "max_text_width": 200
+  },
+  "terminal": {
+    "colors": {
+      "black": "#111111",
+      "red": "#aaaaaa",
+      "green": "#dddddd",
+      "yellow": "#cccccc",
+      "blue": "#ffffff",
+      "magenta": "#cdcdcd",
+      "cyan": "#eeeeee",
+      "white": "#000000",
+      "bright_black": "#555555",
+      "bright_red": "#5a5a5a",
+      "bright_green": "#747474",
+      "bright_yellow": "#6b6b6b",
+      "bright_blue": "#858585",
+      "bright_magenta": "#6c6c6c",
+      "bright_cyan": "#7c7c7c",
+      "bright_white": "#000000",
+      "foreground": "#000000",
+      "background": "#111111",
+      "modal_background": "#222222",
+      "cursor": "#ffffff",
+      "dim_black": "#000000",
+      "dim_red": "#cbcbcb",
+      "dim_green": "#e5e5e5",
+      "dim_yellow": "#dcdcdc",
+      "dim_blue": "#f6f6f6",
+      "dim_magenta": "#dddddd",
+      "dim_cyan": "#ededed",
+      "dim_white": "#888888",
+      "bright_foreground": "#000000",
+      "dim_foreground": "#111111"
+    },
+    "modal_container": {
+      "background": "#222222",
+      "corner_radius": 8,
+      "padding": 8,
+      "margin": 25,
+      "border": {
+        "color": "#111111",
+        "width": 1
+      },
+      "shadow": {
+        "blur": 16,
+        "color": "#0000003d",
+        "offset": [
+          0,
+          2
+        ]
+      }
+    }
+  }
+}

assets/themes/internal/cave-internal-light.json 🔗

@@ -0,0 +1,2283 @@
+{
+  "meta": {
+    "name": "cave-internal-light",
+    "is_light": true
+  },
+  "picker": {
+    "background": "#999999",
+    "corner_radius": 8,
+    "padding": 8,
+    "item": {
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 4
+      },
+      "corner_radius": 8,
+      "text": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "highlight_text": {
+        "family": "Zed Sans",
+        "color": "#ffffff",
+        "weight": "bold",
+        "size": 14
+      },
+      "active": {
+        "background": "#919191",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      },
+      "hover": {
+        "background": "#959595"
+      }
+    },
+    "border": {
+      "color": "#919191",
+      "width": 1
+    },
+    "empty": {
+      "text": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 8
+      }
+    },
+    "input_editor": {
+      "background": "#000000",
+      "corner_radius": 8,
+      "placeholder_text": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#222222",
+        "size": 14
+      },
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 7,
+        "left": 16,
+        "right": 16,
+        "top": 7
+      }
+    },
+    "shadow": {
+      "blur": 16,
+      "color": "#0000001f",
+      "offset": [
+        0,
+        2
+      ]
+    }
+  },
+  "workspace": {
+    "background": "#999999",
+    "joining_project_avatar": {
+      "corner_radius": 40,
+      "width": 80
+    },
+    "joining_project_message": {
+      "padding": 12,
+      "family": "Zed Sans",
+      "color": "#222222",
+      "size": 18
+    },
+    "leader_border_opacity": 0.7,
+    "leader_border_width": 2,
+    "tab_bar": {
+      "height": 32,
+      "background": "#999999",
+      "drop_target_overlay_color": "#44444499",
+      "border": {
+        "color": "#919191",
+        "width": 1,
+        "left": true,
+        "bottom": true,
+        "overlay": true
+      },
+      "active_pane": {
+        "active_tab": {
+          "height": 32,
+          "background": "#000000",
+          "border": {
+            "color": "#919191",
+            "width": 1,
+            "left": true,
+            "bottom": false,
+            "overlay": true
+          },
+          "icon_close": "#444444",
+          "icon_close_active": "#111111",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#111111",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#444444",
+            "size": 10
+          }
+        },
+        "inactive_tab": {
+          "height": 32,
+          "background": "#999999",
+          "border": {
+            "color": "#919191",
+            "width": 1,
+            "left": true,
+            "bottom": true,
+            "overlay": true
+          },
+          "icon_close": "#444444",
+          "icon_close_active": "#111111",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#333333",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#444444",
+            "size": 10
+          }
+        }
+      },
+      "inactive_pane": {
+        "active_tab": {
+          "height": 32,
+          "background": "#000000",
+          "border": {
+            "color": "#919191",
+            "width": 1,
+            "left": true,
+            "bottom": false,
+            "overlay": true
+          },
+          "icon_close": "#444444",
+          "icon_close_active": "#111111",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#333333",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#444444",
+            "size": 10
+          }
+        },
+        "inactive_tab": {
+          "height": 32,
+          "background": "#999999",
+          "border": {
+            "color": "#919191",
+            "width": 1,
+            "left": true,
+            "bottom": true,
+            "overlay": true
+          },
+          "icon_close": "#444444",
+          "icon_close_active": "#111111",
+          "icon_conflict": "#cccccc",
+          "icon_dirty": "#ffffff",
+          "icon_width": 8,
+          "spacing": 8,
+          "text": {
+            "family": "Zed Sans",
+            "color": "#444444",
+            "size": 14
+          },
+          "padding": {
+            "left": 8,
+            "right": 8
+          },
+          "description": {
+            "margin": {
+              "left": 6,
+              "top": 1
+            },
+            "family": "Zed Sans",
+            "color": "#444444",
+            "size": 10
+          }
+        }
+      },
+      "dragged_tab": {
+        "height": 32,
+        "background": "#999999cc",
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "left": false,
+          "bottom": false,
+          "overlay": true,
+          "top": false,
+          "right": false
+        },
+        "icon_close": "#444444",
+        "icon_close_active": "#111111",
+        "icon_conflict": "#cccccc",
+        "icon_dirty": "#ffffff",
+        "icon_width": 8,
+        "spacing": 8,
+        "text": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        },
+        "padding": {
+          "left": 8,
+          "right": 8
+        },
+        "description": {
+          "margin": {
+            "left": 6,
+            "top": 1
+          },
+          "family": "Zed Sans",
+          "color": "#444444",
+          "size": 10
+        },
+        "shadow": {
+          "blur": 6,
+          "color": "#0000001f",
+          "offset": [
+            1,
+            2
+          ]
+        }
+      },
+      "pane_button": {
+        "color": "#333333",
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "left": true,
+          "bottom": true,
+          "overlay": true
+        },
+        "icon_width": 12,
+        "button_width": 32,
+        "hover": {
+          "color": "#111111",
+          "background": "#999999"
+        }
+      }
+    },
+    "modal": {
+      "margin": {
+        "bottom": 52,
+        "top": 52
+      },
+      "cursor": "Arrow"
+    },
+    "sidebar_resize_handle": {
+      "background": "#919191",
+      "padding": {
+        "left": 1
+      }
+    },
+    "pane_divider": {
+      "color": "#959595",
+      "width": 1
+    },
+    "status_bar": {
+      "height": 30,
+      "item_spacing": 8,
+      "padding": {
+        "top": 1,
+        "bottom": 1,
+        "left": 6,
+        "right": 6
+      },
+      "border": {
+        "color": "#919191",
+        "width": 1,
+        "top": true,
+        "overlay": true
+      },
+      "cursor_position": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "auto_update_progress_message": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "auto_update_done_message": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "lsp_status": {
+        "corner_radius": 6,
+        "padding": {
+          "top": 1,
+          "bottom": 1,
+          "left": 6,
+          "right": 6
+        },
+        "icon_spacing": 4,
+        "icon_width": 14,
+        "height": 18,
+        "message": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "icon_color": "#444444",
+        "hover": {
+          "message": {
+            "family": "Zed Sans",
+            "color": "#222222",
+            "size": 14
+          },
+          "icon_color": "#222222",
+          "background": "#959595"
+        }
+      },
+      "diagnostic_message": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14,
+        "hover": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      },
+      "feedback": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14,
+        "hover": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      },
+      "diagnostic_summary": {
+        "height": 16,
+        "icon_width": 16,
+        "icon_spacing": 2,
+        "summary_spacing": 6,
+        "text": {
+          "family": "Zed Sans",
+          "color": "#222222",
+          "size": 14
+        },
+        "icon_color_ok": "#444444",
+        "icon_color_warning": "#cccccc",
+        "icon_color_error": "#aaaaaa",
+        "container_ok": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 3,
+            "bottom": 3,
+            "left": 7,
+            "right": 7
+          }
+        },
+        "container_warning": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 1,
+            "bottom": 1,
+            "left": 6,
+            "right": 6
+          },
+          "background": "#cccccc26",
+          "border": {
+            "color": "#d9d9d9",
+            "width": 1
+          }
+        },
+        "container_error": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 1,
+            "bottom": 1,
+            "left": 6,
+            "right": 6
+          },
+          "background": "#aaaaaa26",
+          "border": {
+            "color": "#c4c4c4",
+            "width": 1
+          }
+        },
+        "hover": {
+          "icon_color_ok": "#111111",
+          "container_ok": {
+            "corner_radius": 6,
+            "padding": {
+              "top": 3,
+              "bottom": 3,
+              "left": 7,
+              "right": 7
+            },
+            "background": "#959595"
+          },
+          "container_warning": {
+            "corner_radius": 6,
+            "padding": {
+              "top": 1,
+              "bottom": 1,
+              "left": 6,
+              "right": 6
+            },
+            "background": "#cccccc33",
+            "border": {
+              "color": "#d9d9d9",
+              "width": 1
+            }
+          },
+          "container_error": {
+            "corner_radius": 6,
+            "padding": {
+              "top": 1,
+              "bottom": 1,
+              "left": 6,
+              "right": 6
+            },
+            "background": "#aaaaaa33",
+            "border": {
+              "color": "#c4c4c4",
+              "width": 1
+            }
+          }
+        }
+      },
+      "sidebar_buttons": {
+        "group_left": {},
+        "group_right": {},
+        "item": {
+          "corner_radius": 6,
+          "padding": {
+            "top": 3,
+            "bottom": 3,
+            "left": 6,
+            "right": 6
+          },
+          "icon_size": 16,
+          "icon_color": "#444444",
+          "hover": {
+            "icon_color": "#111111",
+            "background": "#959595"
+          },
+          "active": {
+            "icon_color": "#111111",
+            "background": "#919191"
+          }
+        },
+        "badge": {
+          "corner_radius": 3,
+          "padding": 2,
+          "margin": {
+            "bottom": -1,
+            "right": -1
+          },
+          "border": {
+            "width": 1,
+            "color": "#999999"
+          },
+          "background": "#ffffff"
+        }
+      }
+    },
+    "titlebar": {
+      "avatar_width": 18,
+      "avatar_margin": 8,
+      "height": 33,
+      "background": "#959595",
+      "padding": {
+        "left": 80,
+        "right": 6
+      },
+      "title": {
+        "family": "Zed Sans",
+        "color": "#222222",
+        "size": 14
+      },
+      "avatar": {
+        "corner_radius": 10,
+        "border": {
+          "color": "#00000088",
+          "width": 1
+        }
+      },
+      "avatar_ribbon": {
+        "height": 3,
+        "width": 12
+      },
+      "border": {
+        "color": "#919191",
+        "width": 1,
+        "bottom": true,
+        "overlay": true
+      },
+      "sign_in_prompt": {
+        "background": "#959595",
+        "border": {
+          "color": "#959595",
+          "width": 1
+        },
+        "corner_radius": 6,
+        "margin": {
+          "top": 1
+        },
+        "padding": {
+          "top": 1,
+          "bottom": 1,
+          "left": 7,
+          "right": 7
+        },
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 12,
+        "hover": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 12,
+          "background": "#4c4c4c",
+          "border": {
+            "color": "#919191",
+            "width": 1
+          }
+        }
+      },
+      "offline_icon": {
+        "color": "#333333",
+        "width": 16,
+        "margin": {
+          "left": 6
+        },
+        "padding": {
+          "right": 4
+        }
+      },
+      "outdated_warning": {
+        "family": "Zed Sans",
+        "color": "#cccccc",
+        "size": 12,
+        "background": "#cccccc26",
+        "border": {
+          "color": "#d9d9d9",
+          "width": 1
+        },
+        "margin": {
+          "left": 6
+        },
+        "padding": {
+          "left": 6,
+          "right": 6
+        },
+        "corner_radius": 6
+      }
+    },
+    "toolbar": {
+      "height": 34,
+      "background": "#000000",
+      "border": {
+        "color": "#959595",
+        "width": 1,
+        "bottom": true
+      },
+      "item_spacing": 8,
+      "nav_button": {
+        "color": "#222222",
+        "icon_width": 12,
+        "button_width": 24,
+        "corner_radius": 6,
+        "hover": {
+          "color": "#111111",
+          "background": "#919191"
+        },
+        "disabled": {
+          "color": "#44444499"
+        }
+      },
+      "padding": {
+        "left": 8,
+        "right": 8,
+        "top": 4,
+        "bottom": 4
+      }
+    },
+    "breadcrumbs": {
+      "family": "Zed Mono",
+      "color": "#333333",
+      "size": 14,
+      "padding": {
+        "left": 6
+      }
+    },
+    "disconnected_overlay": {
+      "family": "Zed Sans",
+      "color": "#111111",
+      "size": 14,
+      "background": "#000000cc"
+    },
+    "notification": {
+      "margin": {
+        "top": 10
+      },
+      "background": "#999999",
+      "corner_radius": 6,
+      "padding": 12,
+      "border": {
+        "color": "#919191",
+        "width": 1
+      },
+      "shadow": {
+        "blur": 16,
+        "color": "#0000001f",
+        "offset": [
+          0,
+          2
+        ]
+      }
+    },
+    "notifications": {
+      "width": 400,
+      "margin": {
+        "right": 10,
+        "bottom": 10
+      }
+    }
+  },
+  "context_menu": {
+    "background": "#999999",
+    "corner_radius": 6,
+    "padding": 6,
+    "shadow": {
+      "blur": 4,
+      "color": "#0000001f",
+      "offset": [
+        1,
+        2
+      ]
+    },
+    "border": {
+      "color": "#919191",
+      "width": 1
+    },
+    "keystroke_margin": 30,
+    "item": {
+      "icon_spacing": 8,
+      "icon_width": 14,
+      "padding": {
+        "left": 4,
+        "right": 4,
+        "top": 2,
+        "bottom": 2
+      },
+      "corner_radius": 6,
+      "label": {
+        "family": "Zed Sans",
+        "color": "#222222",
+        "size": 14
+      },
+      "keystroke": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14,
+        "weight": "bold",
+        "padding": {
+          "left": 3,
+          "right": 3
+        }
+      },
+      "hover": {
+        "background": "#959595",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#222222",
+          "size": 14
+        }
+      },
+      "active": {
+        "background": "#919191",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      },
+      "active_hover": {
+        "background": "#959595",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      }
+    },
+    "separator": {
+      "background": "#919191",
+      "margin": {
+        "top": 2,
+        "bottom": 2
+      }
+    }
+  },
+  "editor": {
+    "text_color": "#111111",
+    "background": "#000000",
+    "active_line_background": "#999999",
+    "code_actions": {
+      "indicator": "#333333",
+      "vertical_scale": 0.618
+    },
+    "diff_background_deleted": "#aaaaaa26",
+    "diff_background_inserted": "#dddddd26",
+    "document_highlight_read_background": "#4d4d4d1f",
+    "document_highlight_write_background": "#4d4d4d3d",
+    "error_color": "#aaaaaa",
+    "gutter_background": "#000000",
+    "gutter_padding_factor": 3.5,
+    "highlighted_line_background": "#959595",
+    "line_number": "#555555",
+    "line_number_active": "#111111",
+    "rename_fade": 0.6,
+    "unnecessary_code_fade": 0.5,
+    "selection": {
+      "cursor": "#ffffff",
+      "selection": "#ffffff3d"
+    },
+    "guest_selections": [
+      {
+        "cursor": "#dddddd",
+        "selection": "#dddddd3d"
+      },
+      {
+        "cursor": "#cdcdcd",
+        "selection": "#cdcdcd3d"
+      },
+      {
+        "cursor": "#bbbbbb",
+        "selection": "#bbbbbb3d"
+      },
+      {
+        "cursor": "#ababab",
+        "selection": "#ababab3d"
+      },
+      {
+        "cursor": "#eeeeee",
+        "selection": "#eeeeee3d"
+      },
+      {
+        "cursor": "#aaaaaa",
+        "selection": "#aaaaaa3d"
+      },
+      {
+        "cursor": "#cccccc",
+        "selection": "#cccccc3d"
+      }
+    ],
+    "autocomplete": {
+      "background": "#000000",
+      "corner_radius": 8,
+      "padding": 4,
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "shadow": {
+        "blur": 4,
+        "color": "#0000001f",
+        "offset": [
+          1,
+          2
+        ]
+      },
+      "item": {
+        "corner_radius": 6,
+        "padding": {
+          "bottom": 2,
+          "left": 6,
+          "right": 6,
+          "top": 2
+        }
+      },
+      "hovered_item": {
+        "corner_radius": 6,
+        "padding": {
+          "bottom": 2,
+          "left": 6,
+          "right": 6,
+          "top": 2
+        },
+        "background": "#262626"
+      },
+      "margin": {
+        "left": -14
+      },
+      "match_highlight": {
+        "family": "Zed Mono",
+        "color": "#ffffff",
+        "size": 14
+      },
+      "selected_item": {
+        "corner_radius": 6,
+        "padding": {
+          "bottom": 2,
+          "left": 6,
+          "right": 6,
+          "top": 2
+        },
+        "background": "#4c4c4c"
+      }
+    },
+    "diagnostic_header": {
+      "background": "#999999",
+      "icon_width_factor": 1.5,
+      "text_scale_factor": 0.857,
+      "border": {
+        "color": "#959595",
+        "width": 1,
+        "bottom": true,
+        "top": true
+      },
+      "code": {
+        "family": "Zed Mono",
+        "color": "#333333",
+        "size": 14,
+        "margin": {
+          "left": 10
+        }
+      },
+      "message": {
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#222222",
+          "size": 14,
+          "weight": "bold"
+        },
+        "text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        }
+      }
+    },
+    "diagnostic_path_header": {
+      "background": "#999999",
+      "text_scale_factor": 0.857,
+      "filename": {
+        "family": "Zed Mono",
+        "color": "#222222",
+        "size": 14
+      },
+      "path": {
+        "family": "Zed Mono",
+        "color": "#444444",
+        "size": 14,
+        "margin": {
+          "left": 12
+        }
+      }
+    },
+    "error_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#aaaaaa",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#aaaaaa",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "warning_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#cccccc",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#cccccc",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "information_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "hint_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#ffffff",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_error_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_hint_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_information_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "invalid_warning_diagnostic": {
+      "text_scale_factor": 0.857,
+      "header": {
+        "border": {
+          "color": "#919191",
+          "width": 1,
+          "top": true
+        }
+      },
+      "message": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "highlight_text": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14,
+          "weight": "bold"
+        }
+      }
+    },
+    "hover_popover": {
+      "container": {
+        "background": "#999999",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000001f",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#959595",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "info_container": {
+        "background": "#eeeeee",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000001f",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#ececec",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "warning_container": {
+        "background": "#e9e9e9",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000001f",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#ececec",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "error_container": {
+        "background": "#e5e5e5",
+        "corner_radius": 8,
+        "padding": {
+          "left": 8,
+          "right": 8,
+          "top": 4,
+          "bottom": 4
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000001f",
+          "offset": [
+            1,
+            2
+          ]
+        },
+        "border": {
+          "color": "#ececec",
+          "width": 1
+        },
+        "margin": {
+          "left": -8
+        }
+      },
+      "block_style": {
+        "padding": {
+          "top": 4
+        }
+      },
+      "prose": {
+        "family": "Zed Sans",
+        "color": "#222222",
+        "size": 14
+      },
+      "highlight": "#4d4d4d1f"
+    },
+    "link_definition": {
+      "color": "#dddddd",
+      "underline": true
+    },
+    "jump_icon": {
+      "color": "#333333",
+      "icon_width": 20,
+      "button_width": 20,
+      "corner_radius": 6,
+      "padding": {
+        "top": 6,
+        "bottom": 6,
+        "left": 6,
+        "right": 6
+      },
+      "hover": {
+        "color": "#111111",
+        "background": "#999999"
+      }
+    },
+    "composition_mark": {
+      "underline": {
+        "thickness": 1,
+        "color": "#444444"
+      }
+    },
+    "syntax": {
+      "primary": {
+        "color": "#111111",
+        "weight": "normal"
+      },
+      "comment": {
+        "color": "#333333",
+        "weight": "normal"
+      },
+      "punctuation": {
+        "color": "#222222",
+        "weight": "normal"
+      },
+      "constant": {
+        "color": "#444444",
+        "weight": "normal"
+      },
+      "keyword": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "function": {
+        "color": "#cccccc",
+        "weight": "normal"
+      },
+      "type": {
+        "color": "#eeeeee",
+        "weight": "normal"
+      },
+      "constructor": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "variant": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "property": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "enum": {
+        "color": "#bbbbbb",
+        "weight": "normal"
+      },
+      "operator": {
+        "color": "#bbbbbb",
+        "weight": "normal"
+      },
+      "string": {
+        "color": "#bbbbbb",
+        "weight": "normal"
+      },
+      "number": {
+        "color": "#dddddd",
+        "weight": "normal"
+      },
+      "boolean": {
+        "color": "#dddddd",
+        "weight": "normal"
+      },
+      "predictive": {
+        "color": "#444444",
+        "weight": "normal"
+      },
+      "title": {
+        "color": "#cccccc",
+        "weight": "bold"
+      },
+      "emphasis": {
+        "color": "#ffffff",
+        "weight": "normal"
+      },
+      "emphasis.strong": {
+        "color": "#ffffff",
+        "weight": "bold"
+      },
+      "link_uri": {
+        "color": "#dddddd",
+        "weight": "normal",
+        "underline": true
+      },
+      "link_text": {
+        "color": "#bbbbbb",
+        "weight": "normal",
+        "italic": true
+      }
+    }
+  },
+  "project_diagnostics": {
+    "background": "#000000",
+    "tab_icon_spacing": 4,
+    "tab_icon_width": 13,
+    "tab_summary_spacing": 10,
+    "empty_message": {
+      "family": "Zed Sans",
+      "color": "#333333",
+      "size": 16
+    }
+  },
+  "command_palette": {
+    "keystroke_spacing": 8,
+    "key": {
+      "text": {
+        "family": "Zed Mono",
+        "color": "#333333",
+        "size": 12
+      },
+      "corner_radius": 4,
+      "background": "#000000",
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "padding": {
+        "top": 2,
+        "bottom": 2,
+        "left": 8,
+        "right": 8
+      },
+      "margin": {
+        "left": 2
+      },
+      "active": {
+        "text": {
+          "family": "Zed Mono",
+          "color": "#111111",
+          "size": 12
+        }
+      }
+    }
+  },
+  "project_panel": {
+    "padding": {
+      "left": 12,
+      "right": 12,
+      "top": 6,
+      "bottom": 6
+    },
+    "indent_width": 8,
+    "entry": {
+      "height": 24,
+      "icon_color": "#444444",
+      "icon_size": 8,
+      "icon_spacing": 8,
+      "text": {
+        "family": "Zed Mono",
+        "color": "#333333",
+        "size": 14
+      },
+      "hover": {
+        "background": "#959595"
+      },
+      "active": {
+        "background": "#919191",
+        "text": {
+          "family": "Zed Mono",
+          "color": "#111111",
+          "size": 14
+        }
+      },
+      "active_hover": {
+        "background": "#919191",
+        "text": {
+          "family": "Zed Mono",
+          "color": "#111111",
+          "size": 14
+        }
+      }
+    },
+    "cut_entry_fade": 0.4,
+    "ignored_entry_fade": 0.6,
+    "filename_editor": {
+      "background": "#000000",
+      "text": {
+        "family": "Zed Mono",
+        "color": "#111111",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      }
+    }
+  },
+  "chat_panel": {
+    "padding": {
+      "top": 12,
+      "bottom": 12
+    },
+    "channel_name": {
+      "family": "Zed Sans",
+      "color": "#222222",
+      "weight": "bold",
+      "size": 14
+    },
+    "channel_name_hash": {
+      "family": "Zed Sans",
+      "color": "#444444",
+      "size": 14,
+      "padding": {
+        "right": 8
+      }
+    },
+    "channel_select": {
+      "header": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#222222",
+          "size": 14
+        },
+        "padding": {
+          "bottom": 4,
+          "left": 0
+        },
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#444444",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "corner_radius": 0
+      },
+      "item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#444444",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "corner_radius": 0
+      },
+      "hovered_item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#333333",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#444444",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "background": "#959595",
+        "corner_radius": 6
+      },
+      "active_item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#222222",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#444444",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "corner_radius": 0
+      },
+      "hovered_active_item": {
+        "name": {
+          "family": "Zed Sans",
+          "color": "#222222",
+          "size": 14
+        },
+        "padding": 4,
+        "hash": {
+          "family": "Zed Sans",
+          "color": "#444444",
+          "size": 14,
+          "margin": {
+            "right": 8
+          }
+        },
+        "background": "#959595",
+        "corner_radius": 6
+      },
+      "menu": {
+        "background": "#000000",
+        "corner_radius": 6,
+        "padding": 4,
+        "border": {
+          "color": "#919191",
+          "width": 1
+        },
+        "shadow": {
+          "blur": 4,
+          "color": "#0000001f",
+          "offset": [
+            1,
+            2
+          ]
+        }
+      }
+    },
+    "sign_in_prompt": {
+      "family": "Zed Sans",
+      "color": "#333333",
+      "underline": true,
+      "size": 14
+    },
+    "hovered_sign_in_prompt": {
+      "family": "Zed Sans",
+      "color": "#222222",
+      "underline": true,
+      "size": 14
+    },
+    "message": {
+      "body": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "timestamp": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 6
+      },
+      "sender": {
+        "family": "Zed Sans",
+        "color": "#222222",
+        "weight": "bold",
+        "size": 14,
+        "margin": {
+          "right": 8
+        }
+      }
+    },
+    "pending_message": {
+      "body": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "timestamp": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 6
+      },
+      "sender": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "weight": "bold",
+        "size": 14,
+        "margin": {
+          "right": 8
+        }
+      }
+    },
+    "input_editor": {
+      "background": "#000000",
+      "corner_radius": 6,
+      "text": {
+        "family": "Zed Mono",
+        "color": "#222222",
+        "size": 14
+      },
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#555555",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 7,
+        "left": 8,
+        "right": 8,
+        "top": 7
+      }
+    }
+  },
+  "contacts_panel": {
+    "padding": {
+      "top": 12,
+      "bottom": 0
+    },
+    "user_query_editor": {
+      "background": "#000000",
+      "corner_radius": 6,
+      "text": {
+        "family": "Zed Mono",
+        "color": "#222222",
+        "size": 14
+      },
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#555555",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 4,
+        "left": 8,
+        "right": 8,
+        "top": 4
+      },
+      "margin": {
+        "left": 12,
+        "right": 12
+      }
+    },
+    "user_query_editor_height": 32,
+    "add_contact_button": {
+      "margin": {
+        "left": 6,
+        "right": 12
+      },
+      "color": "#222222",
+      "button_width": 16,
+      "icon_width": 16
+    },
+    "private_button": {
+      "icon_width": 12,
+      "color": "#222222",
+      "corner_radius": 5,
+      "button_width": 12
+    },
+    "row_height": 28,
+    "section_icon_size": 8,
+    "header_row": {
+      "family": "Zed Mono",
+      "color": "#333333",
+      "size": 14,
+      "margin": {
+        "top": 14
+      },
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "active": {
+        "family": "Zed Mono",
+        "color": "#222222",
+        "size": 14,
+        "background": "#8c8c8c"
+      }
+    },
+    "contact_row": {
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "active": {
+        "background": "#8c8c8c"
+      }
+    },
+    "tree_branch": {
+      "color": "#444444",
+      "width": 1,
+      "hover": {
+        "color": "#444444"
+      },
+      "active": {
+        "color": "#444444"
+      }
+    },
+    "contact_avatar": {
+      "corner_radius": 10,
+      "width": 18
+    },
+    "contact_username": {
+      "family": "Zed Mono",
+      "color": "#222222",
+      "size": 14,
+      "margin": {
+        "left": 8
+      }
+    },
+    "contact_button_spacing": 8,
+    "contact_button": {
+      "background": "#959595",
+      "color": "#222222",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8,
+      "hover": {
+        "background": "#4c4c4c"
+      }
+    },
+    "disabled_button": {
+      "background": "#959595",
+      "color": "#444444",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8
+    },
+    "project_row": {
+      "guest_avatar_spacing": 4,
+      "height": 24,
+      "guest_avatar": {
+        "corner_radius": 8,
+        "width": 14
+      },
+      "name": {
+        "family": "Zed Mono",
+        "color": "#333333",
+        "size": 14,
+        "margin": {
+          "left": 8,
+          "right": 6
+        }
+      },
+      "guests": {
+        "margin": {
+          "left": 8,
+          "right": 8
+        }
+      },
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "background": "#999999",
+      "hover": {
+        "background": "#959595"
+      },
+      "active": {
+        "background": "#919191"
+      }
+    },
+    "invite_row": {
+      "padding": {
+        "left": 12,
+        "right": 12
+      },
+      "border": {
+        "top": true,
+        "width": 1,
+        "color": "#919191"
+      },
+      "text": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "hover": {
+        "text": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      }
+    }
+  },
+  "contact_finder": {
+    "background": "#999999",
+    "corner_radius": 8,
+    "padding": 8,
+    "item": {
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 4
+      },
+      "corner_radius": 8,
+      "text": {
+        "family": "Zed Sans",
+        "color": "#333333",
+        "size": 14
+      },
+      "highlight_text": {
+        "family": "Zed Sans",
+        "color": "#ffffff",
+        "weight": "bold",
+        "size": 14
+      },
+      "active": {
+        "background": "#919191",
+        "text": {
+          "family": "Zed Sans",
+          "color": "#111111",
+          "size": 14
+        }
+      },
+      "hover": {
+        "background": "#959595"
+      }
+    },
+    "border": {
+      "color": "#919191",
+      "width": 1
+    },
+    "empty": {
+      "text": {
+        "family": "Zed Sans",
+        "color": "#444444",
+        "size": 14
+      },
+      "padding": {
+        "bottom": 4,
+        "left": 12,
+        "right": 12,
+        "top": 8
+      }
+    },
+    "input_editor": {
+      "background": "#000000",
+      "corner_radius": 8,
+      "placeholder_text": {
+        "family": "Zed Sans",
+        "color": "#555555",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#222222",
+        "size": 14
+      },
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "padding": {
+        "bottom": 7,
+        "left": 16,
+        "right": 16,
+        "top": 7
+      }
+    },
+    "shadow": {
+      "blur": 16,
+      "color": "#0000001f",
+      "offset": [
+        0,
+        2
+      ]
+    },
+    "row_height": 28,
+    "contact_avatar": {
+      "corner_radius": 10,
+      "width": 18
+    },
+    "contact_username": {
+      "padding": {
+        "left": 8
+      }
+    },
+    "contact_button": {
+      "background": "#959595",
+      "color": "#222222",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8,
+      "hover": {
+        "background": "#919191"
+      }
+    },
+    "disabled_contact_button": {
+      "background": "#959595",
+      "color": "#444444",
+      "icon_width": 8,
+      "button_width": 16,
+      "corner_radius": 8
+    }
+  },
+  "search": {
+    "match_background": "#d9d9d9",
+    "tab_icon_spacing": 8,
+    "tab_icon_width": 14,
+    "option_button": {
+      "family": "Zed Mono",
+      "color": "#333333",
+      "size": 14,
+      "background": "#999999",
+      "corner_radius": 6,
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "margin": {
+        "right": 4
+      },
+      "padding": {
+        "bottom": 2,
+        "left": 10,
+        "right": 10,
+        "top": 2
+      },
+      "active": {
+        "family": "Zed Mono",
+        "color": "#111111",
+        "size": 14,
+        "background": "#888888",
+        "border": {
+          "color": "#999999",
+          "width": 1
+        }
+      },
+      "hover": {
+        "family": "Zed Mono",
+        "color": "#111111",
+        "size": 14,
+        "background": "#919191",
+        "border": {
+          "color": "#999999",
+          "width": 1
+        }
+      }
+    },
+    "editor": {
+      "background": "#000000",
+      "corner_radius": 8,
+      "min_width": 200,
+      "max_width": 500,
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#555555",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#111111",
+        "size": 14
+      },
+      "border": {
+        "color": "#959595",
+        "width": 1
+      },
+      "margin": {
+        "right": 12
+      },
+      "padding": {
+        "top": 3,
+        "bottom": 3,
+        "left": 12,
+        "right": 8
+      }
+    },
+    "invalid_editor": {
+      "background": "#000000",
+      "corner_radius": 8,
+      "min_width": 200,
+      "max_width": 500,
+      "placeholder_text": {
+        "family": "Zed Mono",
+        "color": "#555555",
+        "size": 14
+      },
+      "selection": {
+        "cursor": "#ffffff",
+        "selection": "#ffffff3d"
+      },
+      "text": {
+        "family": "Zed Mono",
+        "color": "#111111",
+        "size": 14
+      },
+      "border": {
+        "color": "#c4c4c4",
+        "width": 1
+      },
+      "margin": {
+        "right": 12
+      },
+      "padding": {
+        "top": 3,
+        "bottom": 3,
+        "left": 12,
+        "right": 8
+      }
+    },
+    "match_index": {
+      "family": "Zed Mono",
+      "color": "#444444",
+      "size": 14,
+      "padding": 6
+    },
+    "option_button_group": {
+      "padding": {
+        "left": 12,
+        "right": 12
+      }
+    },
+    "results_status": {
+      "family": "Zed Mono",
+      "color": "#222222",
+      "size": 18
+    }
+  },
+  "breadcrumbs": {
+    "family": "Zed Sans",
+    "color": "#333333",
+    "size": 14,
+    "padding": {
+      "left": 6
+    }
+  },
+  "contact_notification": {
+    "header_avatar": {
+      "height": 12,
+      "width": 12,
+      "corner_radius": 6
+    },
+    "header_message": {
+      "family": "Zed Sans",
+      "color": "#222222",
+      "size": 12,
+      "margin": {
+        "left": 8,
+        "right": 8
+      }
+    },
+    "header_height": 18,
+    "body_message": {
+      "family": "Zed Sans",
+      "color": "#333333",
+      "size": 12,
+      "margin": {
+        "left": 20,
+        "top": 6,
+        "bottom": 6
+      }
+    },
+    "button": {
+      "family": "Zed Sans",
+      "color": "#222222",
+      "size": 12,
+      "background": "#000000",
+      "padding": 4,
+      "corner_radius": 6,
+      "margin": {
+        "left": 6
+      },
+      "hover": {
+        "background": "#4c4c4c"
+      }
+    },
+    "dismiss_button": {
+      "color": "#333333",
+      "icon_width": 8,
+      "icon_height": 8,
+      "button_width": 8,
+      "button_height": 8,
+      "hover": {
+        "color": "#222222"
+      }
+    }
+  },
+  "update_notification": {
+    "message": {
+      "family": "Zed Sans",
+      "color": "#222222",
+      "size": 12,
+      "margin": {
+        "left": 8,
+        "right": 8
+      }
+    },
+    "action_message": {
+      "family": "Zed Sans",
+      "color": "#333333",
+      "size": 12,
+      "margin": {
+        "left": 8,
+        "top": 6,
+        "bottom": 6
+      },
+      "hover": {
+        "color": "#111111"
+      }
+    },
+    "dismiss_button": {
+      "color": "#333333",
+      "icon_width": 8,
+      "icon_height": 8,
+      "button_width": 8,
+      "button_height": 8,
+      "hover": {
+        "color": "#222222"
+      }
+    }
+  },
+  "tooltip": {
+    "background": "#000000",
+    "border": {
+      "color": "#959595",
+      "width": 1
+    },
+    "padding": {
+      "top": 4,
+      "bottom": 4,
+      "left": 8,
+      "right": 8
+    },
+    "margin": {
+      "top": 6,
+      "left": 6
+    },
+    "shadow": {
+      "blur": 4,
+      "color": "#0000001f",
+      "offset": [
+        1,
+        2
+      ]
+    },
+    "corner_radius": 6,
+    "text": {
+      "family": "Zed Sans",
+      "color": "#222222",
+      "size": 12
+    },
+    "keystroke": {
+      "background": "#999999",
+      "corner_radius": 4,
+      "margin": {
+        "left": 6
+      },
+      "padding": {
+        "left": 4,
+        "right": 4
+      },
+      "family": "Zed Mono",
+      "color": "#333333",
+      "size": 12,
+      "weight": "bold"
+    },
+    "max_text_width": 200
+  },
+  "terminal": {
+    "colors": {
+      "black": "#000000",
+      "red": "#aaaaaa",
+      "green": "#dddddd",
+      "yellow": "#cccccc",
+      "blue": "#ffffff",
+      "magenta": "#cdcdcd",
+      "cyan": "#eeeeee",
+      "white": "#111111",
+      "bright_black": "#444444",
+      "bright_red": "#cbcbcb",
+      "bright_green": "#e5e5e5",
+      "bright_yellow": "#dcdcdc",
+      "bright_blue": "#f6f6f6",
+      "bright_magenta": "#dddddd",
+      "bright_cyan": "#ededed",
+      "bright_white": "#111111",
+      "foreground": "#111111",
+      "background": "#000000",
+      "modal_background": "#999999",
+      "cursor": "#ffffff",
+      "dim_black": "#111111",
+      "dim_red": "#5a5a5a",
+      "dim_green": "#747474",
+      "dim_yellow": "#6b6b6b",
+      "dim_blue": "#858585",
+      "dim_magenta": "#6c6c6c",
+      "dim_cyan": "#7c7c7c",
+      "dim_white": "#333333",
+      "bright_foreground": "#111111",
+      "dim_foreground": "#000000"
+    },
+    "modal_container": {
+      "background": "#999999",
+      "corner_radius": 8,
+      "padding": 8,
+      "margin": 25,
+      "border": {
+        "color": "#919191",
+        "width": 1
+      },
+      "shadow": {
+        "blur": 16,
+        "color": "#0000001f",
+        "offset": [
+          0,
+          2
+        ]
+      }
+    }
+  }
+}

styles/src/buildThemes.ts 🔗

@@ -2,29 +2,41 @@ import * as fs from "fs";
 import * as path from "path";
 import { tmpdir } from "os";
 import app from "./styleTree/app";
-import themes from "./themes";
+import themes, { internalThemes } from "./themes";
 import snakeCase from "./utils/snakeCase";
+import Theme from "./themes/common/theme";
 
-const themeDirectory = `${__dirname}/../../assets/themes/`;
+const themeDirectory = `${__dirname}/../../assets/themes`;
+const internalDirectory = `${themeDirectory}/internal`;
 const tempDirectory = fs.mkdtempSync(path.join(tmpdir(), "build-themes"));
 
 // Clear existing themes
-for (const file of fs.readdirSync(themeDirectory)) {
-  if (file.endsWith(".json")) {
-    const name = file.replace(/\.json$/, "");
-    if (!themes.find((theme) => theme.name === name)) {
-      fs.unlinkSync(path.join(themeDirectory, file));
+function clearThemes(themeDirectory: string) {
+  for (const file of fs.readdirSync(themeDirectory)) {
+    if (file.endsWith(".json")) {
+      const name = file.replace(/\.json$/, "");
+      if (!themes.find((theme) => theme.name === name)) {
+        fs.unlinkSync(path.join(themeDirectory, file));
+      }
     }
   }
 }
 
-// Write new themes to theme directory
-for (let theme of themes) {
-  let styleTree = snakeCase(app(theme));
-  let styleTreeJSON = JSON.stringify(styleTree, null, 2);
-  let tempPath = path.join(tempDirectory, `${theme.name}.json`);
-  let outPath = path.join(themeDirectory, `${theme.name}.json`);
-  fs.writeFileSync(tempPath, styleTreeJSON);
-  fs.renameSync(tempPath, outPath);
-  console.log(`- ${outPath} created`);
+clearThemes(themeDirectory);
+clearThemes(internalDirectory);
+
+function writeThemes(themes: Theme[], outputDirectory: string) {
+  for (let theme of themes) {
+    let styleTree = snakeCase(app(theme));
+    let styleTreeJSON = JSON.stringify(styleTree, null, 2);
+    let tempPath = path.join(tempDirectory, `${theme.name}.json`);
+    let outPath = path.join(outputDirectory, `${theme.name}.json`);
+    fs.writeFileSync(tempPath, styleTreeJSON);
+    fs.renameSync(tempPath, outPath);
+    console.log(`- ${outPath} created`);
+  }
 }
+
+// Write new themes to theme directory
+writeThemes(themes, themeDirectory);
+writeThemes(internalThemes, internalDirectory);

styles/src/themes.ts 🔗

@@ -5,14 +5,21 @@ import Theme from "./themes/common/theme";
 const themes: Theme[] = [];
 export default themes;
 
-const themesPath = path.resolve(`${__dirname}/themes`);
-for (const fileName of fs.readdirSync(themesPath)) {
-  if (fileName == "template.ts") continue;
-  const filePath = path.join(themesPath, fileName);
+const internalThemes: Theme[] = [];
+export { internalThemes }
 
-  if (fs.statSync(filePath).isFile()) {
-    const theme = require(filePath);
-    if (theme.dark) themes.push(theme.dark);
-    if (theme.light) themes.push(theme.light);
+function fillThemes(themesPath: string, themes: Theme[]) {
+  for (const fileName of fs.readdirSync(themesPath)) {
+    if (fileName == "template.ts") continue;
+    const filePath = path.join(themesPath, fileName);
+
+    if (fs.statSync(filePath).isFile()) {
+      const theme = require(filePath);
+      if (theme.dark) themes.push(theme.dark);
+      if (theme.light) themes.push(theme.light);
+    }
   }
 }
+
+fillThemes(path.resolve(`${__dirname}/themes`), themes)
+fillThemes(path.resolve(`${__dirname}/themes/internal`), internalThemes)

styles/src/themes/internal/cave-internal.ts 🔗

@@ -0,0 +1,28 @@
+import chroma from "chroma-js";
+import { colorRamp, createTheme } from "../common/base16";
+
+const name = "cave-internal";
+
+const ramps = {
+  neutral: chroma.scale([
+    "#111111",
+    "#222222",
+    "#333333",
+    "#444444",
+    "#555555",
+    "#888888",
+    "#999999",
+    "#000000",
+  ]),
+  red: colorRamp(chroma("#aaaaaa")),
+  orange: colorRamp(chroma("#bbbbbb")),
+  yellow: colorRamp(chroma("#cccccc")),
+  green: colorRamp(chroma("#dddddd")),
+  cyan: colorRamp(chroma("#eeeeee")),
+  blue: colorRamp(chroma("#ffffff")),
+  violet: colorRamp(chroma("#ababab")),
+  magenta: colorRamp(chroma("#cdcdcd")),
+};
+
+export const dark = createTheme(`${name}-dark`, false, ramps);
+export const light = createTheme(`${name}-light`, true, ramps);