Describe the current behavior of what you're trying to improve. If your enhancement request related to a problem, please also describe the problem.

Lots of LEGUP's UI is based on things lighting up red or green. The problem with that is that color blind people(like myself) have a hard time understanding when something is wrong.

Describe the improvement you'd like

Simple fixes can include changing the contrast between the reds and greens, or switching to red and blue.

High priority changes are the proof tree, short truth table rule icons and maybe the colors on the short truth table board.

Describe alternatives you've considered

No response

Additional Context

No response