##// END OF EJS Templates
Provide a name of the HistorySavingThread...
Provide a name of the HistorySavingThread This name appears when using PyDev to debug and is more informative than the default "Thread-N"

File last commit:

r11033:fa36e98f
r13126:5a2eb17a
Show More
override.css
7 lines | 345 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;
font-size: 110%;
}