##// END OF EJS Templates
Properly dispose of widget model. Delete comm's ref to...
Properly dispose of widget model. Delete comm's ref to the widget model so the GC will collect it when it is no longer reference elsewhere.

File last commit:

r14015:2dd3d63d
r14386:463ad221
Show More
cell.less
47 lines | 1.1 KiB | text/x-less | LessCssLexer
MinRK
don't split `.cell` and `div.cell` CSS...
r12364 div.cell {
Brian E. Granger
Splitting notebook.less into separate files.
r10730 border: 1px solid transparent;
.vbox();
&.selected {
.corner-all;
border : thin @border_color solid;
}
Brian E. Granger
More work on the dual mode UX.
r14015
&.edit_mode {
.corner-all;
border : thin green solid;
}
}
div.cell {
Brian E. Granger
Splitting notebook.less into separate files.
r10730 width: 100%;
padding: 5px 5px 5px 0px;
/* This acts as a spacer between cells, that is outside the border */
Brian E. Granger
Making the cell margin 0 all around....
r13681 margin: 0px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 outline: none;
}
div.prompt {
/* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
Matthias BUSSONNIER
min-width instead of width for prompt...
r13496 min-width: 11ex;
Brian E. Granger
Adjusting padding of output subareas and adding @code_padding.
r13687 /* This padding is tuned to match the padding on the CodeMirror editor. */
padding: @code_padding;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 margin: 0px;
font-family: @monoFontFamily;
text-align: right;
/* This has to match that of the the CodeMirror class line-height below */
MinRK
bootstrap tree
r10891 line-height: @code_line_height;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
Brian E. Granger
Adding prompt area to non-CodeCells to indent content....
r13776
div.inner_cell {
.vbox();
.box-flex1();
}
Brian E. Granger
Fixing various output related things:...
r13792
/* This is needed so that empty prompt areas can collapse to zero height when there
is no content in the output_subarea and the prompt. The main purpose of this is
to make sure that empty JavaScript output_subareas have no height. */
div.prompt:empty {
padding-top: 0;
padding-bottom: 0;
}