YUI frontend for a pedagogical browser-based javascript development environment