##// END OF EJS Templates
Rename Extension to FilenameExtension
Rename Extension to FilenameExtension

File last commit:

r15733:67701c01
r19462:3f476c1e
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;
}