// Load Code formatting widget (supports line numbering, alternating line highlighting, line ranges and loading from remote url):
dojo.require("dojox.highlight.widget.Code");
// Load the languages and pygment renderers for the languages we're displaying...
dojo.require("dojox.highlight.languages.xml");
dojo.require("dojox.highlight.languages.pygments.xml");
dojo.require("dojox.highlight.languages.java");
dojo.require("dojox.highlight.languages.xquery");
dojo.require("dojox.highlight.languages.python");
