tu non vedi i passi dell' animazione perche' la velocita' a cui viene eseguito un while non permette di aggiornare quel valore dell' attributo dello stile che cerchi di modificare
intanto accodi un' infinita' di nop() da eseguire ...finche' il browser ti sta dietro