@ -134,7 +134,7 @@ div.unrecognized_cell {
// from text_cell
padding: 5px @_cell_padding_minus_border 5px 0px;
.hbox();
.inner_cell {
.border-radius(@border-radius-base);
padding: @_cell_padding_minus_border;
@ -46,7 +46,8 @@ div.run_this_cell {
width: 1ex;
}
div.input_prompt {
// set the prompt width
div.prompt {
min-width: 15ex;
@ -41,7 +41,6 @@ div.out_prompt_overlay:hover {
div.output_prompt {
color: @output_prompt_color;
/* This class is the outer container of all output sections. */