##// END OF EJS Templates
Creating override.css for each page....
Creating override.css for each page. This css file should only have temporary hack until we fix out global styles. Don't add anything new to these files.
Brian E. Granger -
r10723:2b73e10d
Show More
Name Size Modified Last Commit Author
/ IPython / external / js
README Loading ...
jquery-1.7.1.js Loading ...
jquery-ui.css Loading ...
jquery-ui.js Loading ...
prettify.js Loading ...

We use minified versions of JQuery / jQueryUI and google-code-prettify in the Notebook.

Some package managers require full versions alongside minified,
and they can be dropped in here as necessary.

origins of our minified js:
prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.min.js
jQueryUI menubar branch checkpoint: (generated by ant build from the source tree)

And their unminified counterparts:
prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
jQuery-1.7.1: http://code.jquery.com/jquery-1.7.1.js
jQueryUI version we ship: https://github.com/jquery/jquery-ui/tarball/ba8f147e4d69948aff4e956333098fb9360e3865
and the menubar branch in general: https://github.com/jquery/jquery-ui/tree/menubar