##// END OF EJS Templates
Style notebook as a document
Matthias Bussonnier -
Show More
@@ -31,6 +31,16 b' div#notebook {'
31 margin: 0px;
31 margin: 0px;
32 outline: none;
32 outline: none;
33 .border-box-sizing();
33 .border-box-sizing();
34
35 background-color : @notebook_dark_background;
36 }
37
38 #notebook-container{
39 padding-right:80px;
40 padding-top:10px;
41 border-color: @body-bg;
42 background-color : @body-bg;
43 box-shadow: 0px 0px 12px 1px rgba(87,87,87,0.2);
34 }
44 }
35
45
36 div.ui-widget-content {
46 div.ui-widget-content {
@@ -7,6 +7,7 b''
7 @light_border_color: darken(@cell_selected_background, 17%);
7 @light_border_color: darken(@cell_selected_background, 17%);
8 @border_width: 1px;
8 @border_width: 1px;
9 @notebook_font_size: 14px;
9 @notebook_font_size: 14px;
10 @notebook_dark_background: #EEE;
10 @notebook_line_height: 20px;
11 @notebook_line_height: 20px;
11 @code_line_height: 1.21429em; // changed from 1.231 to get 17px even
12 @code_line_height: 1.21429em; // changed from 1.231 to get 17px even
12 @code_padding: 0.4em; // 5.6 px
13 @code_padding: 0.4em; // 5.6 px
@@ -9492,6 +9492,14 b' div#notebook {'
9492 box-sizing: border-box;
9492 box-sizing: border-box;
9493 -moz-box-sizing: border-box;
9493 -moz-box-sizing: border-box;
9494 -webkit-box-sizing: border-box;
9494 -webkit-box-sizing: border-box;
9495 background-color: #eeeeee;
9496 }
9497 #notebook-container {
9498 padding-right: 80px;
9499 padding-top: 10px;
9500 border-color: #ffffff;
9501 background-color: #ffffff;
9502 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9495 }
9503 }
9496 div.ui-widget-content {
9504 div.ui-widget-content {
9497 border: 1px solid #ababab;
9505 border: 1px solid #ababab;
General Comments 0
You need to be logged in to leave comments. Login now