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