N-Desmarais

The ADA recommends against the following color combinations: Green – Blue Green – Yellow Green – Red Blue – Purple Blue – Grey Green – Brown Green – Grey Red...

You can find the colors for the proof tree in: src/main/java/edu/rpi/legup/ui/proofeditorui/treeview/TreeTransitionView.java The colors you should care about are CORRECT_COLOR and INCORRECT_COLOR, but you may want to play around with others...