##// END OF EJS Templates
movestyling from js to css
Matthias BUSSONNIER -
Show More
@@ -42,8 +42,6 b' require(['
42 ) {
42 ) {
43 "use strict";
43 "use strict";
44
44
45 $('div#notebook_panel').addClass('border-box-sizing');
46
47 var common_options = {
45 var common_options = {
48 base_url : utils.get_body_data("baseUrl"),
46 base_url : utils.get_body_data("baseUrl"),
49 ws_url : IPython.utils.get_body_data("wsUrl"),
47 ws_url : IPython.utils.get_body_data("wsUrl"),
@@ -31,6 +31,7 b' div#notebook_panel {'
31 margin: 0px 0px 0px 0px;
31 margin: 0px 0px 0px 0px;
32 padding: 0px;
32 padding: 0px;
33 .box-shadow(@notebook-shadow);
33 .box-shadow(@notebook-shadow);
34 .border-box-sizing();
34 }
35 }
35 div#notebook {
36 div#notebook {
36 font-size: @notebook_font_size;
37 font-size: @notebook_font_size;
General Comments 0
You need to be logged in to leave comments. Login now