##// END OF EJS Templates
fix raw_input CSS...
MinRK -
Show More
@@ -140,11 +140,11 b' div.output_javascript:empty {'
140 /* raw_input styles */
140 /* raw_input styles */
141
141
142 div.raw_input {
142 div.raw_input {
143 padding-top: 0px;
144 padding-bottom: 0px;
145 height: 1em;
146 line-height: 1em;
143 line-height: 1em;
147 font-family: @monoFontFamily;
144 font-family: @monoFontFamily;
145 // for some reason, em padding doesn't compute the same for raw_input
146 // that is not the first input, but px does
147 padding-top: 5px;
148 }
148 }
149
149
150 span.input_prompt {
150 span.input_prompt {
@@ -156,12 +156,16 b' input.raw_input {'
156 font-size: inherit;
156 font-size: inherit;
157 color: inherit;
157 color: inherit;
158 width: auto;
158 width: auto;
159 margin: -2px 0px 0px 1px;
159 margin: 0px 0px 0px 1px;
160 padding-left: 1px;
160 padding-left: 1px;
161 padding-top: 2px;
161 padding-top: 0px;
162 height: 1em;
162 height: 1em;
163 }
163 }
164
164
165 input.raw_input:focus {
166 box-shadow: none;
167 }
168
165 p.p-space {
169 p.p-space {
166 margin-bottom: 10px;
170 margin-bottom: 10px;
167 }
171 }
@@ -123,9 +123,10 b' div.output_stderr{background:#fdd;}'
123 div.output_latex{text-align:left}
123 div.output_latex{text-align:left}
124 div.output_javascript:empty{padding:0}
124 div.output_javascript:empty{padding:0}
125 .js-error{color:#8b0000}
125 .js-error{color:#8b0000}
126 div.raw_input{padding-top:0;padding-bottom:0;height:1em;line-height:1em;font-family:monospace}
126 div.raw_input{line-height:1em;font-family:monospace;padding-top:5px}
127 span.input_prompt{font-family:inherit}
127 span.input_prompt{font-family:inherit}
128 input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:-2px 0 0 1px;padding-left:1px;padding-top:2px;height:1em}
128 input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:0 0 0 1px;padding-left:1px;padding-top:0;height:1em}
129 input.raw_input:focus{box-shadow:none}
129 p.p-space{margin-bottom:10px}
130 p.p-space{margin-bottom:10px}
130 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
131 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
131 .rendered_html strong{font-weight:bold}
132 .rendered_html strong{font-weight:bold}
@@ -1400,9 +1400,10 b' div.output_stderr{background:#fdd;}'
1400 div.output_latex{text-align:left}
1400 div.output_latex{text-align:left}
1401 div.output_javascript:empty{padding:0}
1401 div.output_javascript:empty{padding:0}
1402 .js-error{color:#8b0000}
1402 .js-error{color:#8b0000}
1403 div.raw_input{padding-top:0;padding-bottom:0;height:1em;line-height:1em;font-family:monospace}
1403 div.raw_input{line-height:1em;font-family:monospace;padding-top:5px}
1404 span.input_prompt{font-family:inherit}
1404 span.input_prompt{font-family:inherit}
1405 input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:-2px 0 0 1px;padding-left:1px;padding-top:2px;height:1em}
1405 input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:0 0 0 1px;padding-left:1px;padding-top:0;height:1em}
1406 input.raw_input:focus{box-shadow:none}
1406 p.p-space{margin-bottom:10px}
1407 p.p-space{margin-bottom:10px}
1407 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
1408 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
1408 .rendered_html strong{font-weight:bold}
1409 .rendered_html strong{font-weight:bold}
General Comments 0
You need to be logged in to leave comments. Login now