A live code editor using HTML5 technologies