Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
52 changes: 26 additions & 26 deletions DreamcoderBat/.config/bat/themes/Dreamcoder.tmTheme
Original file line number Diff line number Diff line change
Expand Up @@ -7,33 +7,33 @@
<key>settings</key>
<array>
<dict><key>settings</key><dict>
<key>background</key><string>#f3eadc</string>
<key>foreground</key><string>#17120d</string>
<key>caret</key><string>#824f16</string>
<key>selection</key><string>#decbb1</string>
<key>selectionForeground</key><string>#17120d</string>
<key>lineHighlight</key><string>#decbb1</string>
<key>gutter</key><string>#c8ad89</string>
<key>gutterForeground</key><string>#352e22</string>
<key>invisibles</key><string>#725e4c</string>
<key>background</key><string>#000000</string>
<key>foreground</key><string>#E6E6E6</string>
<key>caret</key><string>#A5B4FC</string>
<key>selection</key><string>#3A3A3A</string>
<key>selectionForeground</key><string>#E6E6E6</string>
<key>lineHighlight</key><string>#0D0D0F</string>
<key>gutter</key><string>#1F1F1F</string>
<key>gutterForeground</key><string>#C7C7C7</string>
<key>invisibles</key><string>#D0D0D0</string>
</dict></dict>
<dict><key>scope</key><string>comment</string><key>settings</key><dict><key>foreground</key><string>#725e4c</string><key>fontStyle</key><string>italic</string></dict></dict>
<dict><key>scope</key><string>keyword, storage</string><key>settings</key><dict><key>foreground</key><string>#824f16</string><key>fontStyle</key><string>bold</string></dict></dict>
<dict><key>scope</key><string>entity.name.function, support.function</string><key>settings</key><dict><key>foreground</key><string>#a7471c</string></dict></dict>
<dict><key>scope</key><string>variable, meta.definition.variable</string><key>settings</key><dict><key>foreground</key><string>#352e22</string></dict></dict>
<dict><key>scope</key><string>string</string><key>settings</key><dict><key>foreground</key><string>#315b31</string></dict></dict>
<dict><key>scope</key><string>constant.numeric, constant.language</string><key>settings</key><dict><key>foreground</key><string>#7d3e64</string></dict></dict>
<dict><key>scope</key><string>entity.name.type, support.type</string><key>settings</key><dict><key>foreground</key><string>#0d4a68</string></dict></dict>
<dict><key>scope</key><string>punctuation</string><key>settings</key><dict><key>foreground</key><string>#352e22</string></dict></dict>
<dict><key>scope</key><string>keyword.operator</string><key>settings</key><dict><key>foreground</key><string>#a7471c</string></dict></dict>
<dict><key>scope</key><string>constant.character.escape</string><key>settings</key><dict><key>foreground</key><string>#315b31</string></dict></dict>
<dict><key>scope</key><string>entity.name.tag</string><key>settings</key><dict><key>foreground</key><string>#824f16</string></dict></dict>
<dict><key>scope</key><string>entity.other.attribute-name</string><key>settings</key><dict><key>foreground</key><string>#0d4864</string></dict></dict>
<dict><key>scope</key><string>invalid</string><key>settings</key><dict><key>foreground</key><string>#842f24</string></dict></dict>
<dict><key>scope</key><string>markup.heading, markup.bold</string><key>settings</key><dict><key>foreground</key><string>#824f16</string><key>fontStyle</key><string>bold</string></dict></dict>
<dict><key>scope</key><string>markup.italic</string><key>settings</key><dict><key>foreground</key><string>#0d4a68</string><key>fontStyle</key><string>italic</string></dict></dict>
<dict><key>scope</key><string>meta.diff, meta.diff.header</string><key>settings</key><dict><key>foreground</key><string>#57478b</string></dict></dict>
<dict><key>scope</key><string>support.class, support.constant</string><key>settings</key><dict><key>foreground</key><string>#0d4a68</string></dict></dict>
<dict><key>scope</key><string>comment</string><key>settings</key><dict><key>foreground</key><string>#D0D0D0</string><key>fontStyle</key><string>italic</string></dict></dict>
<dict><key>scope</key><string>keyword, storage</string><key>settings</key><dict><key>foreground</key><string>#A5B4FC</string><key>fontStyle</key><string>bold</string></dict></dict>
<dict><key>scope</key><string>entity.name.function, support.function</string><key>settings</key><dict><key>foreground</key><string>#D4B5FD</string></dict></dict>
<dict><key>scope</key><string>variable, meta.definition.variable</string><key>settings</key><dict><key>foreground</key><string>#C7C7C7</string></dict></dict>
<dict><key>scope</key><string>string</string><key>settings</key><dict><key>foreground</key><string>#34D399</string></dict></dict>
<dict><key>scope</key><string>constant.numeric, constant.language</string><key>settings</key><dict><key>foreground</key><string>#D8B4FE</string></dict></dict>
<dict><key>scope</key><string>entity.name.type, support.type</string><key>settings</key><dict><key>foreground</key><string>#7DD3FC</string></dict></dict>
<dict><key>scope</key><string>punctuation</string><key>settings</key><dict><key>foreground</key><string>#C7C7C7</string></dict></dict>
<dict><key>scope</key><string>keyword.operator</string><key>settings</key><dict><key>foreground</key><string>#D4B5FD</string></dict></dict>
<dict><key>scope</key><string>constant.character.escape</string><key>settings</key><dict><key>foreground</key><string>#34D399</string></dict></dict>
<dict><key>scope</key><string>entity.name.tag</string><key>settings</key><dict><key>foreground</key><string>#A5B4FC</string></dict></dict>
<dict><key>scope</key><string>entity.other.attribute-name</string><key>settings</key><dict><key>foreground</key><string>#81d4fb</string></dict></dict>
<dict><key>scope</key><string>invalid</string><key>settings</key><dict><key>foreground</key><string>#FB8585</string></dict></dict>
<dict><key>scope</key><string>markup.heading, markup.bold</string><key>settings</key><dict><key>foreground</key><string>#A5B4FC</string><key>fontStyle</key><string>bold</string></dict></dict>
<dict><key>scope</key><string>markup.italic</string><key>settings</key><dict><key>foreground</key><string>#7DD3FC</string><key>fontStyle</key><string>italic</string></dict></dict>
<dict><key>scope</key><string>meta.diff, meta.diff.header</string><key>settings</key><dict><key>foreground</key><string>#D4B5FD</string></dict></dict>
<dict><key>scope</key><string>support.class, support.constant</string><key>settings</key><dict><key>foreground</key><string>#7DD3FC</string></dict></dict>
</array>
</dict>
</plist>
246 changes: 123 additions & 123 deletions DreamcoderCodexApp/Dreamcoder.codex-theme.json
Original file line number Diff line number Diff line change
@@ -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"
}
}
Loading
Loading