##// END OF EJS Templates
fix raw_input CSS...
MinRK -
Show More
@@ -140,11 +140,11 b' div.output_javascript:empty {'
140 140 /* raw_input styles */
141 141
142 142 div.raw_input {
143 padding-top: 0px;
144 padding-bottom: 0px;
145 height: 1em;
146 143 line-height: 1em;
147 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 150 span.input_prompt {
@@ -156,12 +156,16 b' input.raw_input {'
156 156 font-size: inherit;
157 157 color: inherit;
158 158 width: auto;
159 margin: -2px 0px 0px 1px;
159 margin: 0px 0px 0px 1px;
160 160 padding-left: 1px;
161 padding-top: 2px;
161 padding-top: 0px;
162 162 height: 1em;
163 163 }
164 164
165 input.raw_input:focus {
166 box-shadow: none;
167 }
168
165 169 p.p-space {
166 170 margin-bottom: 10px;
167 171 }
@@ -123,9 +123,10 b' div.output_stderr{background:#fdd;}'
123 123 div.output_latex{text-align:left}
124 124 div.output_javascript:empty{padding:0}
125 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 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 130 p.p-space{margin-bottom:10px}
130 131 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
131 132 .rendered_html strong{font-weight:bold}
@@ -1400,9 +1400,10 b' div.output_stderr{background:#fdd;}'
1400 1400 div.output_latex{text-align:left}
1401 1401 div.output_javascript:empty{padding:0}
1402 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 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 1407 p.p-space{margin-bottom:10px}
1407 1408 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
1408 1409 .rendered_html strong{font-weight:bold}
General Comments 0
You need to be logged in to leave comments. Login now