Added styles for highlighting redexes
Fixed reducing