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{ |
|
126 | div.raw_input_container{font-family:monospace;padding-top:5px} | |
127 |
span.input_prompt{ |
|
127 | span.raw_input_prompt{} | |
128 |
input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:0 |
|
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{ |
|
1403 | div.raw_input_container{font-family:monospace;padding-top:5px} | |
1404 |
span.input_prompt{ |
|
1404 | span.raw_input_prompt{} | |
1405 |
input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:0 |
|
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