function update(){ hljs.highlightBlock(document.getElementById('inp'));}$('pre').on('input', function(){ clearTimeout(hid); hid = setTimeout(update, 1000);})