a javascript-based html validator