simplify raw_input css

for once, vertical-align: baseline is the right choice
This commit is contained in:
MinRK 2014-03-13 20:47:28 -07:00
parent 065a6eaa34
commit 89faa5f340
3 changed files with 14 additions and 14 deletions

View File

@ -139,16 +139,15 @@ div.output_javascript:empty {
/* raw_input styles */
div.raw_input {
line-height: 1em;
div.raw_input_container {
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 {
font-family: inherit;
span.raw_input_prompt {
/* nothing needed here */
}
input.raw_input {
@ -156,10 +155,11 @@ input.raw_input {
font-size: inherit;
color: inherit;
width: auto;
margin: 0px 0px 0px 1px;
padding-left: 1px;
padding-top: 0px;
height: 1em;
/* make sure input baseline aligns with prompt */
vertical-align: baseline;
/* padding + margin = 0.5em between prompt and cursor */
padding: 0em 0.25em;
margin: 0em 0.25em;
}
input.raw_input:focus {

View File

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

View File

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