From 58a3daba5cb7ef9c652c51dd603b6db45cae77aa Mon Sep 17 00:00:00 2001
From: "Brian E. Granger" <ellisonbg@gmail.com>
Date: Sun, 2 Feb 2014 19:45:04 -0800
Subject: [PATCH] Tighten up vertical spacing of notebook list.

---
 IPython/html/static/style/ipython.min.css | 2 +-
 IPython/html/static/style/style.min.css   | 2 +-
 IPython/html/static/tree/less/tree.less   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/IPython/html/static/style/ipython.min.css b/IPython/html/static/style/ipython.min.css
index 41347d95a..53a074062 100644
--- a/IPython/html/static/style/ipython.min.css
+++ b/IPython/html/static/style/ipython.min.css
@@ -38,7 +38,7 @@ div.traceback-wrapper{text-align:left;max-width:800px;margin:auto}
 .list_container>div:last-child{border:none}
 .list_item:hover .list_item{background-color:#ddd}
 .list_item a{text-decoration:none}
-.list_item .span12{padding:5px}
+.list_item .span12{padding:4px}
 .item_name{line-height:24px}
 .item_icon{font-size:14px;color:#5e5e5e;margin-left:5px;margin-right:8px}
 .list_container>div>span,.list_container>div>div{padding:8px}
diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index dd92dc081..7f2a3c20e 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -1315,7 +1315,7 @@ span#login_widget{float:right}
 .list_container>div:last-child{border:none}
 .list_item:hover .list_item{background-color:#ddd}
 .list_item a{text-decoration:none}
-.list_item .span12{padding:5px}
+.list_item .span12{padding:4px}
 .item_name{line-height:24px}
 .item_icon{font-size:14px;color:#5e5e5e;margin-left:5px;margin-right:8px}
 .list_container>div>span,.list_container>div>div{padding:8px}
diff --git a/IPython/html/static/tree/less/tree.less b/IPython/html/static/tree/less/tree.less
index ddf2b3863..e4eeeed18 100644
--- a/IPython/html/static/tree/less/tree.less
+++ b/IPython/html/static/tree/less/tree.less
@@ -49,7 +49,7 @@
     background-color: #ddd;
   };
   a {text-decoration: none;}
-  .span12 {padding: 5px;}
+  .span12 {padding: 4px;}
 }
 
 .item_name {