##// END OF EJS Templates
simplify raw_input css...
MinRK -
Show More
@@ -139,16 +139,15 b' div.output_javascript:empty {'
139
139
140 /* raw_input styles */
140 /* raw_input styles */
141
141
142 div.raw_input {
142 div.raw_input_container {
143 line-height: 1em;
144 font-family: @monoFontFamily;
143 font-family: @monoFontFamily;
145 // for some reason, em padding doesn't compute the same for raw_input
144 // for some reason, em padding doesn't compute the same for raw_input
146 // that is not the first input, but px does
145 // that is not the first input, but px does
147 padding-top: 5px;
146 padding-top: 5px;
148 }
147 }
149
148
150 span.input_prompt {
149 span.raw_input_prompt {
151 font-family: inherit;
150 /* nothing needed here */
152 }
151 }
153
152
154 input.raw_input {
153 input.raw_input {
@@ -156,10 +155,11 b' input.raw_input {'
156 font-size: inherit;
155 font-size: inherit;
157 color: inherit;
156 color: inherit;
158 width: auto;
157 width: auto;
159 margin: 0px 0px 0px 1px;
158 /* make sure input baseline aligns with prompt */
160 padding-left: 1px;
159 vertical-align: baseline;
161 padding-top: 0px;
160 /* padding + margin = 0.5em between prompt and cursor */
162 height: 1em;
161 padding: 0em 0.25em;
162 margin: 0em 0.25em;
163 }
163 }
164
164
165 input.raw_input:focus {
165 input.raw_input:focus {
@@ -123,9 +123,9 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{line-height:1em;font-family:monospace;padding-top:5px}
126 div.raw_input_container{font-family:monospace;padding-top:5px}
127 span.input_prompt{font-family:inherit}
127 span.raw_input_prompt{}
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}
128 input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;vertical-align:baseline;padding:0 .25em;margin:0 .25em}
129 input.raw_input:focus{box-shadow:none}
129 input.raw_input:focus{box-shadow:none}
130 p.p-space{margin-bottom:10px}
130 p.p-space{margin-bottom:10px}
131 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
131 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
@@ -1400,9 +1400,9 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{line-height:1em;font-family:monospace;padding-top:5px}
1403 div.raw_input_container{font-family:monospace;padding-top:5px}
1404 span.input_prompt{font-family:inherit}
1404 span.raw_input_prompt{}
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}
1405 input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;vertical-align:baseline;padding:0 .25em;margin:0 .25em}
1406 input.raw_input:focus{box-shadow:none}
1406 input.raw_input:focus{box-shadow:none}
1407 p.p-space{margin-bottom:10px}
1407 p.p-space{margin-bottom:10px}
1408 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
1408 .rendered_html{color:#000;}.rendered_html em{font-style:italic}
General Comments 0
You need to be logged in to leave comments. Login now