Remove CSS color

robsimmons · Mar 24, 2024 · 39f4431 · 39f4431
1 parent fcf1123
commit 39f4431
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/web/SolutionViewer.tsx b/src/web/SolutionViewer.tsx
@@ -51,7 +51,7 @@ const CSS_COLOR_NAMES: { [id: string]: string } = {
 };
 
 function termToCSSColor(term: Term): string | null {
-  if (term === null) return 'var(--oksolar-text)';
+  if (term === null) return 'black';
   if (typeof term === 'object' && term.name !== null) {
     if (term.args) {
       if (!term.args.every((arg) => typeof arg === 'bigint')) return null;