##// END OF EJS Templates
Use default OS shell to run system commands...
Use default OS shell to run system commands Instead of using os.system which uses /bin/sh, this uses subprocess.call (the replacement of os.system) to run the command using the default shell of the OS. With this, one can use more advanced commands for bash, zsh, ksh, ... I do not have a win32 system to test this modification, so maybe line 2236 can also be changed like 2239.

File last commit:

r11291:49a9a8b6
r12217:56bf2f98
Show More
textcell.less
32 lines | 593 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 div.text_cell {
padding: 5px 5px 5px 5px;
}
div.text_cell_input {
color: @textColor;
border: 1px solid @light_border_color;
.corner-all;
background: @cell_background;
}
div.text_cell_render {
/*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/
outline: none;
resize: none;
width: inherit;
border-style: none;
padding: 5px;
color: @textColor;
}
MinRK
move anchor-link off of heading text...
r10751 a.anchor-link:link {
text-decoration: none;
padding: 0px 20px;
MinRK
toggle heading-link visibility with CSS alone
r10819 visibility: hidden;
MinRK
move anchor-link off of heading text...
r10751 }
MinRK
toggle heading-link visibility with CSS alone
r10819
Matthias BUSSONNIER
restore anchore on h2-h6 links
r10845 h1,h2,h3,h4,h5,h6 {
&:hover .anchor-link {
visibility: visible;
}
}