Widget:Highlight
Jump to navigation
Jump to search
<script> function highlight("") { var inputText = document.getElementById("content"); var innerHTML = inputText.innerHTML; var index = innerHTML.indexOf(text); if (index >= 0) { innerHTML = innerHTML.substring(0,index) + "" + innerHTML.substring(index,index+text.length) + "" + innerHTML.substring(index + text.length); inputText.innerHTML = innerHTML; } } window.onload = highlight; </script>