From 39f44318ed25fd3449ab2ac43971202b2d1b4b72 Mon Sep 17 00:00:00 2001
From: Rob Simmons <robsimmons@gmail.com>
Date: Sun, 24 Mar 2024 11:13:38 -0400
Subject: [PATCH] Remove CSS color

---
 src/web/SolutionViewer.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/web/SolutionViewer.tsx b/src/web/SolutionViewer.tsx
index 896cc5d..b27b5e2 100644
--- 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;