diff --git a/.vscode/settings.json b/.vscode/settings.json index 6f4f84f..325abeb 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,5 +1,8 @@ { "deno.enable": true, "deno.lint": true, - "editor.defaultFormatter": "denoland.vscode-deno" + "editor.defaultFormatter": "denoland.vscode-deno", + "[typescriptreact]": { + "editor.defaultFormatter": "denoland.vscode-deno" + } } diff --git a/islands/App.tsx b/islands/App.tsx index 17c75ea..16e052b 100644 --- a/islands/App.tsx +++ b/islands/App.tsx @@ -123,7 +123,7 @@ export default function App() { class="w-screen h-screen p-2 flex flex-col" style={{ color: theme.value === "light" ? "#000D" : "#FFFD", - background: theme.value === "light" ? "#FFF" : "#000D", + background: theme.value === "light" ? "#FAFAFA" : "#222", fontFamily: "Optima, Candara, 'Noto Sans', source-sans-pro, sans-serif", }} @@ -147,24 +147,19 @@ export default function App() {

Type a λ-calculi expression below. Backslash = λ.

-
- { - expression.value = cleanExpr(expression.value); - }} - class="border-1 w-full rounded p-2 text-xl" - style={{ - borderColor: theme.value === "light" ? "#000D" : "#FFF6", - background: theme.value === "light" ? "#EEED" : "#0006", - color: expression.value.length && ast.value?.errs.length - ? "red" - : "inherit", - }} - value={expression.value} - onInput={onInput} - /> -
+ { + expression.value = cleanExpr(expression.value); + }} + class="border-1 w-full rounded p-2 text-xl h-[42px]" + style={{ + borderColor: theme.value === "light" ? "#000D" : "#FFF6", + background: theme.value === "light" ? "white" : "#1A1A1A", + }} + value={expression.value} + onInput={onInput} + />
diff --git a/islands/Graph.tsx b/islands/Graph.tsx index 59002e0..3d4c237 100644 --- a/islands/Graph.tsx +++ b/islands/Graph.tsx @@ -108,7 +108,7 @@ export function Graph({ theme }: { theme: "light" | "dark" }) { class="rounded flex-1 w-full h-full bg-transparent border-1 select-none cursor-pointer" style={{ borderColor: theme === "light" ? "#000D" : "#FFF6", - backgroundColor: "inherit", + background: theme === "light" ? "white" : "#1A1A1A", }} > diff --git a/lib/graph.ts b/lib/graph.ts index 341593d..32099e2 100644 --- a/lib/graph.ts +++ b/lib/graph.ts @@ -40,7 +40,7 @@ export function drawNode( .append("circle") .attr("cx", x) .attr("cy", y) - .attr("fill", theme === "light" ? "#FFF" : "#222") + .attr("fill", theme === "light" ? "#FFF" : "#1A1A1A") .attr("r", 15); svg .append("text")