##// END OF EJS Templates
skip ugly %2i formatting...
skip ugly %2i formatting I decided that misalignment when digits don't match is less ugly than the asymmetrical space caused by '[%2i]' with single-digit numbers, which are most common.
MinRK -
r7059:8da04fb8
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / unminified
README 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, if necessary.

origins of our minified js:
prettify: http://google-code-prettify.googlecode.com/files/prettify-small-1-Jun-2011.tar.bz2
jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.min.js
jQueryUI-1.8.14: generated by https://jqueryui.com/download

And their unminified counterparts:
prettify: http://google-code-prettify.googlecode.com/files/prettify-1-Jun-2011.tar.bz2
jQuery-1.6.2: http://code.jquery.com/jquery-1.6.2.js
jQueryUI-1.8.14: https://github.com/jquery/jquery-ui/tarball/1.8.14