@@ -179,6 +179,22 @@ export function Footer({ context }) {
onClick={() => {
console.log(k, themeColors(t));
setTheme(t);
+ document.dispatchEvent(
+ new CustomEvent('strudel-theme', {
+ detail: {
+ // TODO: dynamic
+ background: '#21202e',
+ foreground: '#edecee',
+ caret: '#a277ff',
+ selection: '#3d375e7f',
+ selectionMatch: '#3d375e7f',
+ gutterBackground: '#21202e',
+ gutterForeground: '#edecee',
+ gutterBorder: 'transparent',
+ lineHighlight: '#a394f033',
+ },
+ }),
+ );
}}
>
{k}
diff --git a/website/src/repl/Header.jsx b/website/src/repl/Header.jsx
index 1ea539fc..0cf77dff 100644
--- a/website/src/repl/Header.jsx
+++ b/website/src/repl/Header.jsx
@@ -32,7 +32,7 @@ export function Header({ context }) {
id="header"
className={cx(
'py-1 flex-none w-full text-black justify-between z-[100] text-lg select-none sticky top-0',
- !isZen && !isEmbedded && 'bg-header',
+ !isZen && !isEmbedded && 'bg-lineHighlight',
isEmbedded ? 'flex' : 'md:flex',
)}
>
diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css
index 91132464..11d61f53 100644
--- a/website/src/repl/Repl.css
+++ b/website/src/repl/Repl.css
@@ -10,10 +10,6 @@
opacity: 0.5;
}
-.cm-gutters {
- display: none !important;
-}
-
.cm-content {
padding-top: 12px !important;
padding-left: 8px !important;
diff --git a/website/src/repl/themes.mjs b/website/src/repl/themes.mjs
index 9303ca00..44818b8a 100644
--- a/website/src/repl/themes.mjs
+++ b/website/src/repl/themes.mjs
@@ -61,6 +61,18 @@ export const themes = {
tokyoNightDay,
xcodeLight,
};
+// TODO: persist theme
+export const defaultSettingsAura = {
+ background: '#21202e',
+ foreground: '#edecee',
+ caret: '#a277ff',
+ selection: '#3d375e7f',
+ selectionMatch: '#3d375e7f',
+ gutterBackground: '#21202e',
+ gutterForeground: '#edecee',
+ gutterBorder: 'transparent',
+ lineHighlight: '#a394f033',
+};
export const vars = {
abcdef: {
diff --git a/website/src/styles/index.css b/website/src/styles/index.css
index ef62234d..5c95a662 100644
--- a/website/src/styles/index.css
+++ b/website/src/styles/index.css
@@ -1,7 +1,3 @@
-body {
- background-color: #222;
-}
-
.cm-gutters {
display: none !important;
}
diff --git a/website/tailwind.config.cjs b/website/tailwind.config.cjs
index f84b5c6e..dcd550df 100644
--- a/website/tailwind.config.cjs
+++ b/website/tailwind.config.cjs
@@ -22,6 +22,16 @@ module.exports = {
header: '#00000050',
// header: 'transparent',
footer: '#00000050',
+ // codemirror-theme settings
+ background: 'var(--background)',
+ foreground: 'var(--foreground)',
+ caret: 'var(--caret)',
+ selection: 'var(--selection)',
+ selectionMatch: 'var(--selectionMatch)',
+ gutterBackground: 'var(--gutterBackground)',
+ gutterForeground: 'var(--gutterForeground)',
+ gutterBorder: 'var(--gutterBorder)',
+ lineHighlight: 'var(--lineHighlight)',
},
typography(theme) {
return {