Styles for 4-color automaton