##// END OF EJS Templates
Style notebook as a document
Matthias Bussonnier -
Show More
@@ -31,6 +31,16 b' div#notebook {'
31 31 margin: 0px;
32 32 outline: none;
33 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 46 div.ui-widget-content {
@@ -7,6 +7,7 b''
7 7 @light_border_color: darken(@cell_selected_background, 17%);
8 8 @border_width: 1px;
9 9 @notebook_font_size: 14px;
10 @notebook_dark_background: #EEE;
10 11 @notebook_line_height: 20px;
11 12 @code_line_height: 1.21429em; // changed from 1.231 to get 17px even
12 13 @code_padding: 0.4em; // 5.6 px
@@ -9492,6 +9492,14 b' div#notebook {'
9492 9492 box-sizing: border-box;
9493 9493 -moz-box-sizing: border-box;
9494 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 9504 div.ui-widget-content {
9497 9505 border: 1px solid #ababab;
General Comments 0
You need to be logged in to leave comments. Login now