Change refresh rate for elementary automaton; remove frames on index.html