/docs/manual/style/scripts/

• ../
• MINIFY
• prettify.js
• prettify.min.js