From 0e80a535fb617ffb64f948f53cc1831249487f1a Mon Sep 17 00:00:00 2001
From: Tom Christie
Date: Tue, 21 May 2013 17:45:25 +0100
Subject: Tweak nav style slightly

---
 docs/css/default.css | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'docs/css')

diff --git a/docs/css/default.css b/docs/css/default.css
index 998efa27..5c6c72ce 100644
--- a/docs/css/default.css
+++ b/docs/css/default.css
@@ -103,6 +103,10 @@ pre {
   overflow: hidden;
 }
 
+.nav-list > li > a {
+  padding: 2px 15px 3px;
+}
+
 /* Set the table of contents to static so it flows back into the content when
    viewed on tablets and smaller. */
 @media (max-width: 767px) {
-- 
cgit v1.2.3