Uniform colors

index.html

@@ -135,11 +135,10 @@
             </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>