Adapted from http://coderazzi.net/javascript/prettify/index.html by M.Buffa.
This tool is useful for embedding in EDx/Open EDx HTML texts some source code. It uses a modified version of the google code prettify JS lib.
HowTo:
Produced html (already selected, just copy to clipboard using ctrl-c or cmd-c):
Preview of the results: