From 2dd866cc8aa237ac1de54eb241b59a3a64f3a2f4 2014-12-18 23:19:36 From: Jonathan Frederic Date: 2014-12-18 23:19:36 Subject: [PATCH] Remove padding on editor --- diff --git a/IPython/html/static/edit/less/edit.less b/IPython/html/static/edit/less/edit.less index 73f56e1..758ce01 100644 --- a/IPython/html/static/edit/less/edit.less +++ b/IPython/html/static/edit/less/edit.less @@ -25,7 +25,7 @@ } @media not print{ - padding: @page-padding; + padding: 0px; background-color : @page-color; min-height: @page-min-height; .box-shadow(@global-shadow);