tweak raw_input style

more crowded, less jumpy

IPython/frontend/html/notebook/static/css/style.min.css

@@ -936,9 +936,9 b' pre,code,kbd,samp{white-space:pre-wrap;}'
 a{text-decoration:underline;}
 p{margin-bottom:0;}
 a.heading-anchor:link,a.heading-anchor:visited{text-decoration:none;color:inherit;}
-span.input_prompt{font-family:monospace;}
-input.raw_input{color:inherit;width:auto;font-family:monospace;height:1em;line-height:1em;margin:-2px 0px 0px 0px;}
-
+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{font-family:inherit;font-size:inherit;color:inherit;width:auto;margin:-2px 0px 0px 1px;padding-left:1px;padding-top:2px;height:1em;}
 @media print{body{overflow:visible !important;} div#notebook{overflow:visible !important;} .ui-widget-content{border:0px;} #save_widget{margin:0px !important;} #header,#pager,#pager_splitter,#menubar,#toolbar{display:none !important;} .cell{border:none !important;} .toolbar{display:none;}}.rendered_html{color:black;}.rendered_html em{font-style:italic;}
 .rendered_html strong{font-weight:bold;}
 .rendered_html u{text-decoration:underline;}

IPython/frontend/html/notebook/static/less/notebook.less

@@ -476,17 +476,27 b' 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;
 }