##// END OF EJS Templates
move styling from js to css
Matthias BUSSONNIER -
Show More
@@ -84,8 +84,8 b' define(['
84 var input_area = $('<div/>').addClass('input_area');
84 var input_area = $('<div/>').addClass('input_area');
85 this.code_mirror = new CodeMirror(input_area.get(0), this.cm_config);
85 this.code_mirror = new CodeMirror(input_area.get(0), this.cm_config);
86 // The tabindex=-1 makes this div focusable.
86 // The tabindex=-1 makes this div focusable.
87 var render_area = $('<div/>').addClass('text_cell_render border-box-sizing').
87 var render_area = $('<div/>').addClass('text_cell_render rendered_html')
88 addClass('rendered_html').attr('tabindex','-1');
88 .attr('tabindex','-1');
89 inner_cell.append(input_area).append(render_area);
89 inner_cell.append(input_area).append(render_area);
90 cell.append(inner_cell);
90 cell.append(inner_cell);
91 this.element = cell;
91 this.element = cell;
@@ -17,6 +17,7 b' div.text_cell_render {'
17 border-style: none;
17 border-style: none;
18 padding: 0.5em 0.5em 0.5em @code_padding;
18 padding: 0.5em 0.5em 0.5em @code_padding;
19 color: @text-color;
19 color: @text-color;
20 .border-box-sizing();
20 }
21 }
21
22
22 a.anchor-link:link {
23 a.anchor-link:link {
General Comments 0
You need to be logged in to leave comments. Login now