改了pageDown.js，效果不错，明天试试showDown.js，顺便要搞清pageDown.js和highLight.js的API