##// END OF EJS Templates
Merge pull request #5652 from jhamrick/placeholder...
Merge pull request #5652 from jhamrick/placeholder Add placeholder attribute to text widgets

File last commit:

r11033:fa36e98f
r16352:04f4cf16 merge
Show More
override.css
7 lines | 333 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 {
margin: 30px auto 0px auto;
}