Show More
@@ -1,77 +1,81 b'' | |||||
1 |
|
1 | |||
2 | body { |
|
2 | body { | |
3 | background-color: @body-bg; |
|
3 | background-color: @body-bg; | |
4 | } |
|
4 | } | |
5 |
|
5 | |||
6 | body.notebook_app { |
|
6 | body.notebook_app { | |
7 | overflow: hidden; |
|
7 | overflow: hidden; | |
8 | } |
|
8 | } | |
9 |
|
9 | |||
10 | @media (max-width: 767px) { |
|
10 | @media (max-width: 767px) { | |
11 | // remove bootstrap-responsive's body padding on small screens |
|
11 | // remove bootstrap-responsive's body padding on small screens | |
12 | body.notebook_app { |
|
12 | body.notebook_app { | |
13 | padding-left: 0px; |
|
13 | padding-left: 0px; | |
14 | padding-right: 0px; |
|
14 | padding-right: 0px; | |
15 | } |
|
15 | } | |
16 | } |
|
16 | } | |
17 |
|
17 | |||
18 | span#notebook_name { |
|
18 | span#notebook_name { | |
19 | height: 1em; |
|
19 | height: 1em; | |
20 | line-height: 1em; |
|
20 | line-height: 1em; | |
21 | padding: 3px; |
|
21 | padding: 3px; | |
22 | border: none; |
|
22 | border: none; | |
23 | font-size: 146.5%; |
|
23 | font-size: 146.5%; | |
24 | } |
|
24 | } | |
25 |
|
25 | |||
26 | div#notebook_panel { |
|
26 | div#notebook_panel { | |
27 | margin: 0px 0px 0px 0px; |
|
27 | margin: 0px 0px 0px 0px; | |
28 | padding: 0px; |
|
28 | padding: 0px; | |
29 | .box-shadow(0 -1px 10px rgba(0,0,0,.1)); |
|
29 | .box-shadow(0 -1px 10px rgba(0,0,0,.1)); | |
30 | } |
|
30 | } | |
31 | div#notebook { |
|
31 | div#notebook { | |
32 | font-size: @notebook_font_size; |
|
32 | font-size: @notebook_font_size; | |
33 | line-height: @notebook_line_height; |
|
33 | line-height: @notebook_line_height; | |
34 | overflow-y: scroll; |
|
34 | overflow-y: scroll; | |
35 | overflow-x: auto; |
|
35 | overflow-x: auto; | |
36 | width: 100%; |
|
36 | width: 100%; | |
37 | /* This spaces the cell away from the edge of the notebook area */ |
|
37 | /* This spaces the cell away from the edge of the notebook area */ | |
38 | padding: 1em 0 1em 0; |
|
38 | padding: 1em 0 1em 0; | |
39 | margin: 0px; |
|
39 | margin: 0px; | |
40 | border-top: 1px solid @border_color; |
|
40 | border-top: 1px solid @border_color; | |
41 | outline: none; |
|
41 | outline: none; | |
42 | .border-box-sizing(); |
|
42 | .border-box-sizing(); | |
43 | } |
|
43 | } | |
44 |
|
44 | |||
45 | div.ui-widget-content { |
|
45 | div.ui-widget-content { | |
46 | border: 1px solid @border_color; |
|
46 | border: 1px solid @border_color; | |
47 | outline: none; |
|
47 | outline: none; | |
48 | } |
|
48 | } | |
49 |
|
49 | |||
50 | pre.dialog { |
|
50 | pre.dialog { | |
51 | background-color: @cell_background; |
|
51 | background-color: @cell_background; | |
52 | border: 1px solid #ddd; |
|
52 | border: 1px solid #ddd; | |
53 | .corner-all; |
|
53 | .corner-all; | |
54 | padding: 0.4em; |
|
54 | padding: 0.4em; | |
55 | padding-left: 2em; |
|
55 | padding-left: 2em; | |
56 | } |
|
56 | } | |
57 |
|
57 | |||
58 | p.dialog { |
|
58 | p.dialog { | |
59 | padding : 0.2em; |
|
59 | padding : 0.2em; | |
60 | } |
|
60 | } | |
61 |
|
61 | |||
62 | /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems |
|
62 | /* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems | |
63 | to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do. |
|
63 | to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do. | |
64 | */ |
|
64 | */ | |
65 | pre, code, kbd, samp { white-space: pre-wrap; } |
|
65 | pre, code, kbd, samp { white-space: pre-wrap; } | |
66 |
|
66 | |||
67 | #fonttest { |
|
67 | #fonttest { | |
68 | font-family: @font-family-monospace; |
|
68 | font-family: @font-family-monospace; | |
69 | } |
|
69 | } | |
70 |
|
70 | |||
71 | p { |
|
71 | p { | |
72 | margin-bottom:0; |
|
72 | margin-bottom:0; | |
73 | } |
|
73 | } | |
74 |
|
74 | |||
75 | .end_space { |
|
75 | .end_space { | |
76 | height: 200px; |
|
76 | height: 200px; | |
77 | } |
|
77 | } | |
|
78 | ||||
|
79 | #header { | |||
|
80 | margin-bottom: 0px; | |||
|
81 | } |
General Comments 0
You need to be logged in to leave comments.
Login now