mv web_ide web
Déplacement de généralités CSS à la classe microalg.
Coquetteries visuelles (virgule et msg ide.html).
IDE injections: pass an elt id (separate src in localStorage).
Scripts et REPL: 2 lignes par défaut au lieu de 5.
Web IDE: pas de 'ul' dans un 'p'.
Web IDE (injection): passage de config pour l’éditeur.
Readme: lien vers site officiel.
Première version du tuto.