Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Prev Previous commit
Next Next commit
tweak raw_input style
more crowded, less jumpy
  • Loading branch information
minrk committed Apr 26, 2013
commit 641fc2f7ea886e723ff11668d3703557e8515a19
6 changes: 3 additions & 3 deletions IPython/frontend/html/notebook/static/css/style.min.css

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

24 changes: 17 additions & 7 deletions IPython/frontend/html/notebook/static/less/notebook.less
Original file line number Diff line number Diff line change
Expand Up @@ -476,17 +476,27 @@ margin-bottom:0;
a.heading-anchor:link, a.heading-anchor:visited {
text-decoration: none;
color: inherit;
}

/* raw_input styles */

span.input_prompt {
div.raw_input {
padding-top: 0px;
padding-bottom: 0px;
height: 1em;
line-height: 1em;
font-family: monospace;

}
span.input_prompt {
font-family: inherit;
}
input.raw_input {
color: inherit;
width: auto;
height: 1em;
line-height: 1em;
margin: -2px 0px 0px 0px;
font-family: inherit;
font-size: inherit;
color: inherit;
width: auto;
margin: -2px 0px 0px 1px;
padding-left: 1px;
padding-top: 2px;
height: 1em;
}