From dcac05a88f220cbd0347bdb3676d1b3520f48aaf Mon Sep 17 00:00:00 2001
From: FelisCatus <catusx@gmail.com>
Date: Thu, 30 Oct 2014 14:03:14 +0800
Subject: [PATCH] Shrink vertical padding for options nav.

---
 omega-web/src/less/options.less | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/omega-web/src/less/options.less b/omega-web/src/less/options.less
index d096c60..f5479e2 100644
--- a/omega-web/src/less/options.less
+++ b/omega-web/src/less/options.less
@@ -113,6 +113,15 @@ h1 {
     height: auto;
     height: initial;
   }
+
+  .nav-pills {
+    > li > a {
+      padding: 8px 15px;
+      @media (max-height: 767px) {
+        padding: 5px 15px;
+      }
+    }
+  }
 }
 
 main {