Use prettify.js instead of run_prettify.js.

If custom skin is needed then it is easy the application developer to contribute it explicitly