##// END OF EJS Templates
play with tooltip growing css...
play with tooltip growing css don't forget to reenqble keyframe with a more recent less compiler

File last commit:

r6610:b9a817a6
r7150:ad2e3196
Show More
README
14 lines | 685 B | text/plain | TextLexer
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