diff --git a/DreamcoderBat/.config/bat/themes/Dreamcoder.tmTheme b/DreamcoderBat/.config/bat/themes/Dreamcoder.tmTheme
index 5c00cda4..381ffd92 100644
--- a/DreamcoderBat/.config/bat/themes/Dreamcoder.tmTheme
+++ b/DreamcoderBat/.config/bat/themes/Dreamcoder.tmTheme
@@ -7,33 +7,33 @@
settings
settings
- background#f3eadc
- foreground#17120d
- caret#824f16
- selection#decbb1
- selectionForeground#17120d
- lineHighlight#decbb1
- gutter#c8ad89
- gutterForeground#352e22
- invisibles#725e4c
+ background#000000
+ foreground#E6E6E6
+ caret#A5B4FC
+ selection#3A3A3A
+ selectionForeground#E6E6E6
+ lineHighlight#0D0D0F
+ gutter#1F1F1F
+ gutterForeground#C7C7C7
+ invisibles#D0D0D0
- scopecommentsettingsforeground#725e4cfontStyleitalic
- scopekeyword, storagesettingsforeground#824f16fontStylebold
- scopeentity.name.function, support.functionsettingsforeground#a7471c
- scopevariable, meta.definition.variablesettingsforeground#352e22
- scopestringsettingsforeground#315b31
- scopeconstant.numeric, constant.languagesettingsforeground#7d3e64
- scopeentity.name.type, support.typesettingsforeground#0d4a68
- scopepunctuationsettingsforeground#352e22
- scopekeyword.operatorsettingsforeground#a7471c
- scopeconstant.character.escapesettingsforeground#315b31
- scopeentity.name.tagsettingsforeground#824f16
- scopeentity.other.attribute-namesettingsforeground#0d4864
- scopeinvalidsettingsforeground#842f24
- scopemarkup.heading, markup.boldsettingsforeground#824f16fontStylebold
- scopemarkup.italicsettingsforeground#0d4a68fontStyleitalic
- scopemeta.diff, meta.diff.headersettingsforeground#57478b
- scopesupport.class, support.constantsettingsforeground#0d4a68
+ scopecommentsettingsforeground#D0D0D0fontStyleitalic
+ scopekeyword, storagesettingsforeground#A5B4FCfontStylebold
+ scopeentity.name.function, support.functionsettingsforeground#D4B5FD
+ scopevariable, meta.definition.variablesettingsforeground#C7C7C7
+ scopestringsettingsforeground#34D399
+ scopeconstant.numeric, constant.languagesettingsforeground#D8B4FE
+ scopeentity.name.type, support.typesettingsforeground#7DD3FC
+ scopepunctuationsettingsforeground#C7C7C7
+ scopekeyword.operatorsettingsforeground#D4B5FD
+ scopeconstant.character.escapesettingsforeground#34D399
+ scopeentity.name.tagsettingsforeground#A5B4FC
+ scopeentity.other.attribute-namesettingsforeground#81d4fb
+ scopeinvalidsettingsforeground#FB8585
+ scopemarkup.heading, markup.boldsettingsforeground#A5B4FCfontStylebold
+ scopemarkup.italicsettingsforeground#7DD3FCfontStyleitalic
+ scopemeta.diff, meta.diff.headersettingsforeground#D4B5FD
+ scopesupport.class, support.constantsettingsforeground#7DD3FC
diff --git a/DreamcoderCodexApp/Dreamcoder.codex-theme.json b/DreamcoderCodexApp/Dreamcoder.codex-theme.json
index 9a31cf48..f96b03d4 100644
--- a/DreamcoderCodexApp/Dreamcoder.codex-theme.json
+++ b/DreamcoderCodexApp/Dreamcoder.codex-theme.json
@@ -1,130 +1,130 @@
{
"$schema": "https://opencode.ai/theme.json",
"defs": {
- "dreamBackground": "#f3eadc",
- "dreamPanel": "#fff7ea",
- "dreamElement": "#e6d7c4",
- "dreamText": "#17120d",
- "dreamMuted": "#352e22",
- "dreamCocoa": "#a7471c",
- "dreamLucuma": "#824f16",
- "dreamDiagnostic": "#0d4a68",
- "dreamSage": "#315b31",
- "dreamViolet": "#57478b",
- "dreamMauve": "#7d3e64",
- "dreamCoral": "#842f24",
- "dreamWarning": "#654300"
+ "dreamBackground": "#000000",
+ "dreamPanel": "#0B0B0B",
+ "dreamElement": "#0B0B0B",
+ "dreamText": "#E6E6E6",
+ "dreamMuted": "#C7C7C7",
+ "dreamCocoa": "#D4B5FD",
+ "dreamLucuma": "#A5B4FC",
+ "dreamDiagnostic": "#7DD3FC",
+ "dreamSage": "#34D399",
+ "dreamViolet": "#D4B5FD",
+ "dreamMauve": "#D8B4FE",
+ "dreamCoral": "#FB8585",
+ "dreamWarning": "#FBBF24"
},
"theme": {
- "background": "#f3eadc",
- "backgroundPanel": "#fff7ea",
- "backgroundElement": "#e3d2bc",
- "backgroundHover": "#decbb1",
- "backgroundSelected": "#decbb1",
- "textSelected": "#17120d",
- "backgroundCode": "#fff7ea",
- "backgroundSearch": "#a1895c",
- "backgroundLine": "#e6d7c4",
- "backgroundAssistant": "#d7d7ce",
- "backgroundUser": "#e2d3be",
- "backgroundTool": "#e0d6d2",
- "text": "#17120d",
- "textMuted": "#352e22",
- "textSubtle": "#554638",
- "textPlaceholder": "#5d4d3e",
- "textAssistant": "#0f4058",
- "textUser": "#724615",
- "textTool": "#0d4a68",
- "primary": "#824f16",
- "secondary": "#a7471c",
- "accent": "#824f16",
- "accentMuted": "#a47e51",
- "error": "#842f24",
- "warning": "#654300",
- "success": "#315b31",
- "info": "#0d4a68",
- "border": "#66513b",
- "borderActive": "#824f16",
- "borderSubtle": "#8a7358",
- "borderFocus": "#0f6570",
- "shadow": "#b6b0a5",
- "diffAdded": "#315b31",
- "diffRemoved": "#842f24",
- "diffContext": "#352e22",
- "diffHunkHeader": "#473a72",
- "diffHighlightAdded": "#315b31",
- "diffHighlightRemoved": "#842f24",
- "diffAddedBg": "#f9f2e4",
- "diffRemovedBg": "#fbf1e4",
- "diffContextBg": "#f3eadc",
- "diffLineNumber": "#554638",
- "diffAddedLineNumberBg": "#f9f2e4",
- "diffRemovedLineNumberBg": "#fbf1e4",
- "diffHunkHeaderBg": "#b8acbd",
- "diffFold": "#5d4d3e",
- "diffFoldBg": "#e6d7c4",
- "markdownText": "#17120d",
- "markdownHeading": "#824f16",
- "markdownLink": "#0d4a68",
- "markdownLinkText": "#824f16",
- "markdownCode": "#315b31",
- "markdownBlockQuote": "#a7471c",
- "markdownEmph": "#0d4a68",
- "markdownStrong": "#824f16",
- "markdownHorizontalRule": "#66513b",
- "markdownListItem": "#824f16",
- "markdownListEnumeration": "#57478b",
- "markdownTableBorder": "#66513b",
- "markdownTableHeader": "#a7471c",
- "markdownImage": "#7d3e64",
- "markdownImageText": "#17120d",
- "markdownCodeBlock": "#17120d",
- "markdownCodeBlockBg": "#fff7ea",
- "markdownInlineCodeBg": "#e7e1d2",
- "syntaxComment": "#725e4c",
- "syntaxKeyword": "#824f16",
- "syntaxFunction": "#a7471c",
- "syntaxMethod": "#a7471c",
- "syntaxVariable": "#352e22",
- "syntaxParameter": "#9e441b",
- "syntaxProperty": "#0d4864",
- "syntaxField": "#30572f",
- "syntaxString": "#315b31",
- "syntaxNumber": "#804739",
- "syntaxBoolean": "#7d3e64",
- "syntaxConstant": "#7d3e64",
- "syntaxType": "#0d4a68",
- "syntaxClass": "#224b59",
- "syntaxInterface": "#0d4a68",
- "syntaxEnum": "#134d5e",
- "syntaxOperator": "#a7471c",
- "syntaxPunctuation": "#352e22",
- "syntaxTag": "#824f16",
- "syntaxAttribute": "#0d4864",
- "syntaxRegexp": "#7f3a52",
- "syntaxEscape": "#654300",
- "syntaxNamespace": "#0d4a68",
- "syntaxModule": "#0d4a68",
- "syntaxDecorator": "#a7471c",
- "syntaxBuiltin": "#7d3e64",
- "syntaxSpecial": "#654300",
- "syntaxTodo": "#5c3d02",
- "syntaxDeprecated": "#6e2f23",
- "terminalBlack": "#5e5c57",
- "terminalRed": "#842f24",
- "terminalGreen": "#315b31",
- "terminalYellow": "#654300",
- "terminalBlue": "#0d4a68",
- "terminalMagenta": "#7d3e64",
- "terminalCyan": "#0f4058",
- "terminalWhite": "#17120d",
- "terminalBrightBlack": "#554638",
- "terminalBrightRed": "#702a20",
- "terminalBrightGreen": "#2c4e2b",
- "terminalBrightYellow": "#593b02",
- "terminalBrightBlue": "#0f4058",
- "terminalBrightMagenta": "#6b3654",
- "terminalBrightCyan": "#4b3d74",
- "terminalBrightWhite": "#17120d"
+ "background": "#000000",
+ "backgroundPanel": "#0D0D0F",
+ "backgroundElement": "#0D0D0F",
+ "backgroundHover": "#3A3A3A",
+ "backgroundSelected": "#3A3A3A",
+ "textSelected": "#E6E6E6",
+ "backgroundCode": "#0D0D0F",
+ "backgroundSearch": "#926f15",
+ "backgroundLine": "#0D0D0F",
+ "backgroundAssistant": "#0f191e",
+ "backgroundUser": "#14161e",
+ "backgroundTool": "#19161e",
+ "text": "#E6E6E6",
+ "textMuted": "#C7C7C7",
+ "textSubtle": "#A7A7A7",
+ "textPlaceholder": "#D0D0D0",
+ "textAssistant": "#90d6f8",
+ "textUser": "#afbcf9",
+ "textTool": "#7DD3FC",
+ "primary": "#A5B4FC",
+ "secondary": "#D4B5FD",
+ "accent": "#A5B4FC",
+ "accentMuted": "#7c87bd",
+ "error": "#FB8585",
+ "warning": "#FBBF24",
+ "success": "#34D399",
+ "info": "#7DD3FC",
+ "border": "#767676",
+ "borderActive": "#A5B4FC",
+ "borderSubtle": "#6B6B6B",
+ "borderFocus": "#3B82F6",
+ "shadow": "#000000",
+ "diffAdded": "#34D399",
+ "diffRemoved": "#FB8585",
+ "diffContext": "#C7C7C7",
+ "diffHunkHeader": "#D4B5FD",
+ "diffHighlightAdded": "#34D399",
+ "diffHighlightRemoved": "#FB8585",
+ "diffAddedBg": "#09261c",
+ "diffRemovedBg": "#2d1818",
+ "diffContextBg": "#000000",
+ "diffLineNumber": "#A7A7A7",
+ "diffAddedLineNumberBg": "#09261c",
+ "diffRemovedLineNumberBg": "#2d1818",
+ "diffHunkHeaderBg": "#4f4759",
+ "diffFold": "#D0D0D0",
+ "diffFoldBg": "#0D0D0F",
+ "markdownText": "#E6E6E6",
+ "markdownHeading": "#A5B4FC",
+ "markdownLink": "#7DD3FC",
+ "markdownLinkText": "#A5B4FC",
+ "markdownCode": "#34D399",
+ "markdownBlockQuote": "#D4B5FD",
+ "markdownEmph": "#7DD3FC",
+ "markdownStrong": "#A5B4FC",
+ "markdownHorizontalRule": "#767676",
+ "markdownListItem": "#A5B4FC",
+ "markdownListEnumeration": "#D4B5FD",
+ "markdownTableBorder": "#767676",
+ "markdownTableHeader": "#D4B5FD",
+ "markdownImage": "#D8B4FE",
+ "markdownImageText": "#E6E6E6",
+ "markdownCodeBlock": "#E6E6E6",
+ "markdownCodeBlockBg": "#0D0D0F",
+ "markdownInlineCodeBg": "#0D0D0F",
+ "syntaxComment": "#D0D0D0",
+ "syntaxKeyword": "#A5B4FC",
+ "syntaxFunction": "#D4B5FD",
+ "syntaxMethod": "#D4B5FD",
+ "syntaxVariable": "#C7C7C7",
+ "syntaxParameter": "#d5b8fc",
+ "syntaxProperty": "#81d4fb",
+ "syntaxField": "#3dd49d",
+ "syntaxString": "#34D399",
+ "syntaxNumber": "#bcb4fd",
+ "syntaxBoolean": "#D8B4FE",
+ "syntaxConstant": "#D8B4FE",
+ "syntaxType": "#7DD3FC",
+ "syntaxClass": "#84cdfc",
+ "syntaxInterface": "#7dd3fc",
+ "syntaxEnum": "#70d3ea",
+ "syntaxOperator": "#D4B5FD",
+ "syntaxPunctuation": "#C7C7C7",
+ "syntaxTag": "#A5B4FC",
+ "syntaxAttribute": "#81d4fb",
+ "syntaxRegexp": "#e2a7dc",
+ "syntaxEscape": "#FBBF24",
+ "syntaxNamespace": "#7DD3FC",
+ "syntaxModule": "#7DD3FC",
+ "syntaxDecorator": "#D4B5FD",
+ "syntaxBuiltin": "#D8B4FE",
+ "syntaxSpecial": "#FBBF24",
+ "syntaxTodo": "#f8c43b",
+ "syntaxDeprecated": "#ec9797",
+ "terminalBlack": "#797979",
+ "terminalRed": "#FB8585",
+ "terminalGreen": "#34D399",
+ "terminalYellow": "#FBBF24",
+ "terminalBlue": "#7DD3FC",
+ "terminalMagenta": "#D8B4FE",
+ "terminalCyan": "#90d6f8",
+ "terminalWhite": "#E6E6E6",
+ "terminalBrightBlack": "#A7A7A7",
+ "terminalBrightRed": "#f79696",
+ "terminalBrightGreen": "#54d6a7",
+ "terminalBrightYellow": "#f8c543",
+ "terminalBrightBlue": "#90d6f8",
+ "terminalBrightMagenta": "#dbbdfa",
+ "terminalBrightCyan": "#d7bef9",
+ "terminalBrightWhite": "#E6E6E6"
}
}
diff --git a/DreamcoderCodexCLI/Dreamcoder.tmTheme b/DreamcoderCodexCLI/Dreamcoder.tmTheme
index 5c00cda4..381ffd92 100644
--- a/DreamcoderCodexCLI/Dreamcoder.tmTheme
+++ b/DreamcoderCodexCLI/Dreamcoder.tmTheme
@@ -7,33 +7,33 @@
settings
settings
- background#f3eadc
- foreground#17120d
- caret#824f16
- selection#decbb1
- selectionForeground#17120d
- lineHighlight#decbb1
- gutter#c8ad89
- gutterForeground#352e22
- invisibles#725e4c
+ background#000000
+ foreground#E6E6E6
+ caret#A5B4FC
+ selection#3A3A3A
+ selectionForeground#E6E6E6
+ lineHighlight#0D0D0F
+ gutter#1F1F1F
+ gutterForeground#C7C7C7
+ invisibles#D0D0D0
- scopecommentsettingsforeground#725e4cfontStyleitalic
- scopekeyword, storagesettingsforeground#824f16fontStylebold
- scopeentity.name.function, support.functionsettingsforeground#a7471c
- scopevariable, meta.definition.variablesettingsforeground#352e22
- scopestringsettingsforeground#315b31
- scopeconstant.numeric, constant.languagesettingsforeground#7d3e64
- scopeentity.name.type, support.typesettingsforeground#0d4a68
- scopepunctuationsettingsforeground#352e22
- scopekeyword.operatorsettingsforeground#a7471c
- scopeconstant.character.escapesettingsforeground#315b31
- scopeentity.name.tagsettingsforeground#824f16
- scopeentity.other.attribute-namesettingsforeground#0d4864
- scopeinvalidsettingsforeground#842f24
- scopemarkup.heading, markup.boldsettingsforeground#824f16fontStylebold
- scopemarkup.italicsettingsforeground#0d4a68fontStyleitalic
- scopemeta.diff, meta.diff.headersettingsforeground#57478b
- scopesupport.class, support.constantsettingsforeground#0d4a68
+ scopecommentsettingsforeground#D0D0D0fontStyleitalic
+ scopekeyword, storagesettingsforeground#A5B4FCfontStylebold
+ scopeentity.name.function, support.functionsettingsforeground#D4B5FD
+ scopevariable, meta.definition.variablesettingsforeground#C7C7C7
+ scopestringsettingsforeground#34D399
+ scopeconstant.numeric, constant.languagesettingsforeground#D8B4FE
+ scopeentity.name.type, support.typesettingsforeground#7DD3FC
+ scopepunctuationsettingsforeground#C7C7C7
+ scopekeyword.operatorsettingsforeground#D4B5FD
+ scopeconstant.character.escapesettingsforeground#34D399
+ scopeentity.name.tagsettingsforeground#A5B4FC
+ scopeentity.other.attribute-namesettingsforeground#81d4fb
+ scopeinvalidsettingsforeground#FB8585
+ scopemarkup.heading, markup.boldsettingsforeground#A5B4FCfontStylebold
+ scopemarkup.italicsettingsforeground#7DD3FCfontStyleitalic
+ scopemeta.diff, meta.diff.headersettingsforeground#D4B5FD
+ scopesupport.class, support.constantsettingsforeground#7DD3FC
diff --git a/DreamcoderThemes/bat-dreamcoder.sh b/DreamcoderThemes/bat-dreamcoder.sh
index d606deae..f00852a8 100644
--- a/DreamcoderThemes/bat-dreamcoder.sh
+++ b/DreamcoderThemes/bat-dreamcoder.sh
@@ -1,7 +1,7 @@
#!/usr/bin/env bash
# Sourced snippet: never set shell options here.
-# Dreamcoder Light — Bat theme; run 'bat cache --build' after installing the tmTheme.
-export BAT_THEME="Dreamcoder-Light"
+# Dreamcoder Dark — Bat theme; run 'bat cache --build' after installing the tmTheme.
+export BAT_THEME="Dreamcoder-Dark"
export BAT_STYLE="auto,changes,header,grid"
export BAT_PAGER="less -RF"
export BAT_TABS="4"
diff --git a/DreamcoderThemes/delta-dreamcoder.gitconfig b/DreamcoderThemes/delta-dreamcoder.gitconfig
index 90b5015f..ac243c90 100644
--- a/DreamcoderThemes/delta-dreamcoder.gitconfig
+++ b/DreamcoderThemes/delta-dreamcoder.gitconfig
@@ -1,5 +1,5 @@
# ========================================================
-# Dreamcoder Light — Git Delta theme
+# Dreamcoder Dark — Git Delta theme
# ========================================================
# Include from ~/.config/git/config:
# [include]
@@ -7,39 +7,39 @@
[delta]
# Syntax highlighting theme for diff content
- syntax-theme = Dreamcoder-Light
+ syntax-theme = Dreamcoder-Dark
# Line colors
- plus-color = "#d6d5c2"
- minus-color = "#e2cec0"
- plus-emph-color = "#315b31"
- minus-emph-color = "#842f24"
+ plus-color = "#227a5b"
+ minus-color = "#904f50"
+ plus-emph-color = "#34D399"
+ minus-emph-color = "#FB8585"
# Diff UI
- file-style = "#824f16"
+ file-style = "#A5B4FC"
file-decoration-style = "bold yellow box ul"
hunk-header-style = "file line-number syntax"
hunk-header-decoration-style = "yellow box"
- hunk-header-file-style = "#824f16"
- hunk-header-line-number-style = "#352e22"
- hunk-header-color = "#d6cec0"
+ hunk-header-file-style = "#A5B4FC"
+ hunk-header-line-number-style = "#C7C7C7"
+ hunk-header-color = "#868687"
# Commit decorations
- commit-style = "#824f16 bold"
+ commit-style = "#A5B4FC bold"
commit-decoration-style = "bold yellow box ul"
# Line numbers
line-numbers = true
- line-numbers-left-style = "#352e22"
- line-numbers-right-style = "#352e22"
- line-numbers-minus-style = "#842f24"
- line-numbers-plus-style = "#315b31"
+ line-numbers-left-style = "#C7C7C7"
+ line-numbers-right-style = "#C7C7C7"
+ line-numbers-minus-style = "#FB8585"
+ line-numbers-plus-style = "#34D399"
# Side-by-side
side-by-side = true
# Whitespace highlighting
- whitespace-error-style = "#654300"
+ whitespace-error-style = "#FBBF24"
# Navigation
navigate = true