##// END OF EJS Templates
Make sessions REST API test more robust....
Make sessions REST API test more robust. Was seeing failures on Windows because it failed to delete the folder.

File last commit:

r12364:f2e0e7d4
r13401:3083a3a4
Show More
cell.less
26 lines | 714 B | text/x-less | LessCssLexer
div.cell {
border: 1px solid transparent;
.vbox();
&.selected {
.corner-all;
border : thin @border_color solid;
}
width: 100%;
padding: 5px 5px 5px 0px;
/* This acts as a spacer between cells, that is outside the border */
margin: 2px 0px 2px 7px;
outline: none;
}
div.prompt {
/* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
width: 11ex;
/* This 0.4em is tuned to match the padding on the CodeMirror editor. */
padding: 0.4em;
margin: 0px;
font-family: @monoFontFamily;
text-align: right;
/* This has to match that of the the CodeMirror class line-height below */
line-height: @code_line_height;
}