fix raw_input CSS

I had to express padding in px, not em for consistent appearance.
I'm not sure why.
MinRK 12 years ago
parent ccae2287d2
commit 084aba793f

@ -140,11 +140,11 @@ div.output_javascript:empty {
/* raw_input styles */
div.raw_input {
padding-top: 0px;
padding-bottom: 0px;
height: 1em;
line-height: 1em;
font-family: @monoFontFamily;
// for some reason, em padding doesn't compute the same for raw_input
// that is not the first input, but px does
padding-top: 5px;
}
span.input_prompt {
@ -156,12 +156,16 @@ input.raw_input {
font-size: inherit;
color: inherit;
width: auto;
margin: -2px 0px 0px 1px;
margin: 0px 0px 0px 1px;
padding-left: 1px;
padding-top: 2px;
padding-top: 0px;
height: 1em;
}
input.raw_input:focus {
box-shadow: none;
}
p.p-space {
margin-bottom: 10px;
}

@ -123,9 +123,10 @@ div.output_stderr{background:#fdd;}
div.output_latex{text-align:left}
div.output_javascript:empty{padding:0}
.js-error{color:#8b0000}
div.raw_input{padding-top:0;padding-bottom:0;height:1em;line-height:1em;font-family:monospace}
div.raw_input{line-height:1em;font-family:monospace;padding-top:5px}
span.input_prompt{font-family:inherit}
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}
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}
input.raw_input:focus{box-shadow:none}
p.p-space{margin-bottom:10px}
.rendered_html{color:#000;}.rendered_html em{font-style:italic}
.rendered_html strong{font-weight:bold}

@ -1400,9 +1400,10 @@ div.output_stderr{background:#fdd;}
div.output_latex{text-align:left}
div.output_javascript:empty{padding:0}
.js-error{color:#8b0000}
div.raw_input{padding-top:0;padding-bottom:0;height:1em;line-height:1em;font-family:monospace}
div.raw_input{line-height:1em;font-family:monospace;padding-top:5px}
span.input_prompt{font-family:inherit}
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}
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}
input.raw_input:focus{box-shadow:none}
p.p-space{margin-bottom:10px}
.rendered_html{color:#000;}.rendered_html em{font-style:italic}
.rendered_html strong{font-weight:bold}

Loading…
Cancel
Save