Cedit, a front-end contenteditable gui kit for javascript