##// END OF EJS Templates
Minor style changes. Using better fonts, indenting menu items.
Minor style changes. Using better fonts, indenting menu items.

File last commit:

r5864:db067dc6
r5870:87baddd6
Show More
ui-bg_flat_75_ffffff_40x100.png
0 lines | 178 B | image/png | TextLexer
/ IPython / frontend / html / notebook / static / jquery / css / themes / base / images / ui-bg_flat_75_ffffff_40x100.png
rendered-image