##// END OF EJS Templates
Use native map when possible...
Use native map when possible Implemented on all modern browser. There is a small behavior difference between $.map and Array.prototype.map but we don't rely on it. (jQuery flatten arrays and filters null-like)

File last commit:

r15733:67701c01
r18410:ce1715fb
Show More
override.css
6 lines | 324 B | text/css | CssLexer
/*This file contains any manual css for this page that needs to override the global styles.
This is only required when different pages style the same element differently. This is just
a hack to deal with our current css styles and no new styling should be added in this file.*/
#ipython-main-app {
position: relative;
}