Show More
@@ -1,166 +1,167 b'' | |||||
1 | div.output_wrapper { |
|
1 | div.output_wrapper { | |
2 | /* this position must be relative to enable descendents to be absolute within it */ |
|
2 | /* this position must be relative to enable descendents to be absolute within it */ | |
3 | position: relative; |
|
3 | position: relative; | |
4 | .vbox() |
|
4 | .vbox() | |
5 | } |
|
5 | } | |
6 |
|
6 | |||
7 | /* class for the output area when it should be height-limited */ |
|
7 | /* class for the output area when it should be height-limited */ | |
8 | div.output_scroll { |
|
8 | div.output_scroll { | |
9 | /* ideally, this would be max-height, but FF barfs all over that */ |
|
9 | /* ideally, this would be max-height, but FF barfs all over that */ | |
10 | height: 24em; |
|
10 | height: 24em; | |
11 | /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */ |
|
11 | /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */ | |
12 | width: 100%; |
|
12 | width: 100%; | |
13 |
|
13 | |||
14 | overflow: auto; |
|
14 | overflow: auto; | |
15 | .corner-all; |
|
15 | .corner-all; | |
16 | .box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8)); |
|
16 | .box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8)); | |
|
17 | display: block; | |||
17 | } |
|
18 | } | |
18 |
|
19 | |||
19 | /* output div while it is collapsed */ |
|
20 | /* output div while it is collapsed */ | |
20 | div.output_collapsed { |
|
21 | div.output_collapsed { | |
21 | margin: 0px; |
|
22 | margin: 0px; | |
22 | padding: 0px; |
|
23 | padding: 0px; | |
23 | .vbox(); |
|
24 | .vbox(); | |
24 | } |
|
25 | } | |
25 |
|
26 | |||
26 | div.out_prompt_overlay { |
|
27 | div.out_prompt_overlay { | |
27 | height: 100%; |
|
28 | height: 100%; | |
28 | padding: 0px @code_padding; |
|
29 | padding: 0px @code_padding; | |
29 | position: absolute; |
|
30 | position: absolute; | |
30 | .corner-all; |
|
31 | .corner-all; | |
31 | } |
|
32 | } | |
32 |
|
33 | |||
33 | div.out_prompt_overlay:hover { |
|
34 | div.out_prompt_overlay:hover { | |
34 | /* use inner shadow to get border that is computed the same on WebKit/FF */ |
|
35 | /* use inner shadow to get border that is computed the same on WebKit/FF */ | |
35 | .box-shadow(inset 0 0 1px #000); |
|
36 | .box-shadow(inset 0 0 1px #000); | |
36 | background: rgba(240, 240, 240, 0.5); |
|
37 | background: rgba(240, 240, 240, 0.5); | |
37 | } |
|
38 | } | |
38 |
|
39 | |||
39 | div.output_prompt { |
|
40 | div.output_prompt { | |
40 | color: darkred; |
|
41 | color: darkred; | |
41 | } |
|
42 | } | |
42 |
|
43 | |||
43 | /* This class is the outer container of all output sections. */ |
|
44 | /* This class is the outer container of all output sections. */ | |
44 | div.output_area { |
|
45 | div.output_area { | |
45 | padding: 0px; |
|
46 | padding: 0px; | |
46 | page-break-inside: avoid; |
|
47 | page-break-inside: avoid; | |
47 | .hbox(); |
|
48 | .hbox(); | |
48 |
|
49 | |||
49 | .MathJax_Display { |
|
50 | .MathJax_Display { | |
50 | // Inside a CodeCell, elements are left justified |
|
51 | // Inside a CodeCell, elements are left justified | |
51 | text-align: left !important; |
|
52 | text-align: left !important; | |
52 | } |
|
53 | } | |
53 |
|
54 | |||
54 | .rendered_html { |
|
55 | .rendered_html { | |
55 | // Inside a CodeCell, elements are left justified |
|
56 | // Inside a CodeCell, elements are left justified | |
56 | table { |
|
57 | table { | |
57 | margin-left: 0; |
|
58 | margin-left: 0; | |
58 | margin-right: 0; |
|
59 | margin-right: 0; | |
59 | } |
|
60 | } | |
60 |
|
61 | |||
61 | img { |
|
62 | img { | |
62 | margin-left: 0; |
|
63 | margin-left: 0; | |
63 | margin-right: 0; |
|
64 | margin-right: 0; | |
64 | } |
|
65 | } | |
65 | } |
|
66 | } | |
66 | } |
|
67 | } | |
67 |
|
68 | |||
68 | /* This is needed to protect the pre formating from global settings such |
|
69 | /* This is needed to protect the pre formating from global settings such | |
69 | as that of bootstrap */ |
|
70 | as that of bootstrap */ | |
70 | .output { |
|
71 | .output { | |
71 | .vbox(); |
|
72 | .vbox(); | |
72 | } |
|
73 | } | |
73 |
|
74 | |||
74 | div.output_area pre { |
|
75 | div.output_area pre { | |
75 | font-family: @monoFontFamily; |
|
76 | font-family: @monoFontFamily; | |
76 | margin: 0; |
|
77 | margin: 0; | |
77 | padding: 0; |
|
78 | padding: 0; | |
78 | border: 0; |
|
79 | border: 0; | |
79 | font-size: 100%; |
|
80 | font-size: 100%; | |
80 | vertical-align: baseline; |
|
81 | vertical-align: baseline; | |
81 | color: black; |
|
82 | color: black; | |
82 | background-color: transparent; |
|
83 | background-color: transparent; | |
83 | .border-radius(0); |
|
84 | .border-radius(0); | |
84 | line-height: inherit; |
|
85 | line-height: inherit; | |
85 | } |
|
86 | } | |
86 |
|
87 | |||
87 | /* This class is for the output subarea inside the output_area and after |
|
88 | /* This class is for the output subarea inside the output_area and after | |
88 | the prompt div. */ |
|
89 | the prompt div. */ | |
89 | div.output_subarea { |
|
90 | div.output_subarea { | |
90 | padding: @code_padding @code_padding 0.0em @code_padding; |
|
91 | padding: @code_padding @code_padding 0.0em @code_padding; | |
91 | .box-flex1(); |
|
92 | .box-flex1(); | |
92 | } |
|
93 | } | |
93 |
|
94 | |||
94 | /* The rest of the output_* classes are for special styling of the different |
|
95 | /* The rest of the output_* classes are for special styling of the different | |
95 | output types */ |
|
96 | output types */ | |
96 |
|
97 | |||
97 | /* all text output has this class: */ |
|
98 | /* all text output has this class: */ | |
98 | div.output_text { |
|
99 | div.output_text { | |
99 | text-align: left; |
|
100 | text-align: left; | |
100 | color: @textColor; |
|
101 | color: @textColor; | |
101 | font-family: @monoFontFamily; |
|
102 | font-family: @monoFontFamily; | |
102 | /* This has to match that of the the CodeMirror class line-height below */ |
|
103 | /* This has to match that of the the CodeMirror class line-height below */ | |
103 | line-height: @code_line_height; |
|
104 | line-height: @code_line_height; | |
104 | } |
|
105 | } | |
105 |
|
106 | |||
106 | /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */ |
|
107 | /* stdout/stderr are 'text' as well as 'stream', but pyout/pyerr are *not* streams */ | |
107 | div.output_stream { |
|
108 | div.output_stream { | |
108 | } |
|
109 | } | |
109 |
|
110 | |||
110 | div.output_stdout { |
|
111 | div.output_stdout { | |
111 | } |
|
112 | } | |
112 |
|
113 | |||
113 | div.output_stderr { |
|
114 | div.output_stderr { | |
114 | background: #fdd; /* very light red background for stderr */ |
|
115 | background: #fdd; /* very light red background for stderr */ | |
115 | } |
|
116 | } | |
116 |
|
117 | |||
117 | div.output_latex { |
|
118 | div.output_latex { | |
118 | text-align: left; |
|
119 | text-align: left; | |
119 | } |
|
120 | } | |
120 |
|
121 | |||
121 | div.output_html { |
|
122 | div.output_html { | |
122 | } |
|
123 | } | |
123 |
|
124 | |||
124 | div.output_png { |
|
125 | div.output_png { | |
125 | } |
|
126 | } | |
126 |
|
127 | |||
127 | div.output_jpeg { |
|
128 | div.output_jpeg { | |
128 | } |
|
129 | } | |
129 |
|
130 | |||
130 | /* Empty output_javascript divs should have no height */ |
|
131 | /* Empty output_javascript divs should have no height */ | |
131 | div.output_javascript:empty { |
|
132 | div.output_javascript:empty { | |
132 | padding: 0; |
|
133 | padding: 0; | |
133 | } |
|
134 | } | |
134 |
|
135 | |||
135 | .js-error { |
|
136 | .js-error { | |
136 | color: darkred; |
|
137 | color: darkred; | |
137 | } |
|
138 | } | |
138 |
|
139 | |||
139 | /* raw_input styles */ |
|
140 | /* raw_input styles */ | |
140 |
|
141 | |||
141 | div.raw_input { |
|
142 | div.raw_input { | |
142 | padding-top: 0px; |
|
143 | padding-top: 0px; | |
143 | padding-bottom: 0px; |
|
144 | padding-bottom: 0px; | |
144 | height: 1em; |
|
145 | height: 1em; | |
145 | line-height: 1em; |
|
146 | line-height: 1em; | |
146 | font-family: @monoFontFamily; |
|
147 | font-family: @monoFontFamily; | |
147 | } |
|
148 | } | |
148 |
|
149 | |||
149 | span.input_prompt { |
|
150 | span.input_prompt { | |
150 | font-family: inherit; |
|
151 | font-family: inherit; | |
151 | } |
|
152 | } | |
152 |
|
153 | |||
153 | input.raw_input { |
|
154 | input.raw_input { | |
154 | font-family: inherit; |
|
155 | font-family: inherit; | |
155 | font-size: inherit; |
|
156 | font-size: inherit; | |
156 | color: inherit; |
|
157 | color: inherit; | |
157 | width: auto; |
|
158 | width: auto; | |
158 | margin: -2px 0px 0px 1px; |
|
159 | margin: -2px 0px 0px 1px; | |
159 | padding-left: 1px; |
|
160 | padding-left: 1px; | |
160 | padding-top: 2px; |
|
161 | padding-top: 2px; | |
161 | height: 1em; |
|
162 | height: 1em; | |
162 | } |
|
163 | } | |
163 |
|
164 | |||
164 | p.p-space { |
|
165 | p.p-space { | |
165 | margin-bottom: 10px; |
|
166 | margin-bottom: 10px; | |
166 | } |
|
167 | } |
General Comments 0
You need to be logged in to leave comments.
Login now