Using the jquery.highlight.js

It can highlight more beautiful than ever.

Still there is a bug. This extension's option required not to write EOF
the end of the URL.