Automata drawing style moved to CSS