Fix uneven input prompt width

gnestor · gnestor · commit 43bd70b24655 · 2018-07-18T21:38:16.000-07:00
diff --git a/notebook/static/notebook/less/codecell.less b/notebook/static/notebook/less/codecell.less
@@ -47,7 +47,7 @@ div.run_this_cell {
 }
 
 div.code_cell div.input_prompt {
-    min-width: 11ex;
+    min-width: 15ex;
 }
 
 @media (-moz-touch-enabled: 1), (any-pointer: coarse) {

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ div.run_this_cell {`
`47`	`47`	`}`
`48`	`48`
`49`	`49`	`div.code_cell div.input_prompt {`
`50`		`- min-width: 11ex;`
	`50`	`+ min-width: 15ex;`
`51`	`51`	`}`
`52`	`52`
`53`	`53`	`@media (-moz-touch-enabled: 1), (any-pointer: coarse) {`