From f34d641dfa81142cf507cc73d8d7aa4df2096abf Mon Sep 17 00:00:00 2001
From: Christian Pointner <equinox@helsinki.at>
Date: Thu, 18 Sep 2014 13:27:27 +0000
Subject: remove useless style


diff --git a/index.html b/index.html
index 604542a..879715a 100644
--- a/index.html
+++ b/index.html
@@ -15,10 +15,6 @@
       padding-top: 60px;
       padding-bottom: 40px;
     }
-
-    .sidebar-nav {
-      padding: 9px 0;
-    }
   </style>
   <link href="/javascript/twitter-bootstrap/css/bootstrap-responsive.css" rel="stylesheet">
   <script src="/javascript/jquery/jquery.min.js"></script>
-- 
cgit v0.10.2