Web IDE: ajout d’espace sous l’affichage.
Tuto blocs: ajout marqueur pour «abandonner blocs».
Web IDE: fix bug introduit en e883dde (couleur texte et parens).