JavaScript实现网页划词标记与搜索功能

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">  <html>  <head>  <title>Untitled Document</title>  <meta http-equiv="Content-Type" content="text/html; charset=gb2312">  </head>  <body>    <INPUT type="button" onclick="isallow()" value="关闭/打开划词功能">  <p>本站</p>  </body>  </html>

划词功能实现与注意事项

注意：若通过Ctrl+A全选并引入外部JS文件，需刷新页面方可执行。