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{ |
|
|
127 |
span.input_prompt{ |
|
|
128 |
input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:0 |
|
|
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{ |
|
|
1404 |
span.input_prompt{ |
|
|
1405 |
input.raw_input{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:0 |
|
|
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