From 996f277ff56e355e56deb56d312e0812f5fd62ab Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 10 Oct 2024 00:46:07 +0200
Subject: Uniform colors

---
 index.html | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index 5439e70..f3dc61f 100644
--- a/index.html
+++ b/index.html
@@ -135,11 +135,10 @@ br = \\\\(y \\((((0 \\1) 1) 1) \((((0 3) 4) 5) \\0)))
             </option>
             <option
               value="y = \(\(1 (0 0)) \(1 (0 0)))
-tl = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\1)))
-tr = \\\\(y \\((((0 1) \((((0 3) \\0) 5) 6)) \((((0 3) 4) \\1) 6)) 1))
-bl = \\\\(y \\((((0 1) \((((0 3) \\1) 5) 6)) \((((0 3) 4) \\0) 6)) 1))
-br = \\\\(y \\((((0 \((((0 \\1) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
-\(y \\((((0 (1 tl)) (1 tr)) (1 bl)) (1 br)))"
+a = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
+b = \\\\(y \\((((0 1) \((((0 3) \\0) 5) 6)) \((((0 3) 4) \\0) 6)) 1))
+c = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
+\(y \\((((0 (1 a)) (1 b)) (1 b)) (1 c)))"
             >
               Recursive Nonsense
             </option>
-- 
cgit v1.2.3