##// END OF EJS Templates
change new tooltip appearence...
change new tooltip appearence temporarly (or maybe not) use less css to produce the css for the tooltip.
Matthias BUSSONNIER -
r7148:3a1677cd
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html
notebook
__init__.py Loading ...