Less side-nav padding.

diff --git a/apps/workbench/app/assets/stylesheets/application.css.scss b/apps/workbench/app/assets/stylesheets/application.css.scss
index 197ddbd1bef4e1acb64f84c315d048589bdf4ca0..9259c9e575bfd08d0d1196aa532f995957f49f05 100644 (file)
--- a/apps/workbench/app/assets/stylesheets/application.css.scss
+++ b/apps/workbench/app/assets/stylesheets/application.css.scss
@@ -174,3 +174,7 @@ table.table-fixed-header-row tbody {
 .side-nav {
     border-right: 1px solid #e7e7e7;
 }
+.navbar-nav.side-nav > li > a {
+    padding-top: 10px;
+    padding-bottom: 10px;
+}