From b28c3b2e7cf6cfef05dd08e589c44fc24e483487 Mon Sep 17 00:00:00 2001
From: Thomas Stromberg <tstromberg@google.com>
Date: Thu, 9 Apr 2020 18:53:13 -0700
Subject: [PATCH] Narrower tab titles

---
 site/static/css/tabs.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/site/static/css/tabs.css b/site/static/css/tabs.css
index 0aa7a98148..94fe585b32 100644
--- a/site/static/css/tabs.css
+++ b/site/static/css/tabs.css
@@ -8,7 +8,7 @@ ul.nav.nav-tabs {
 
 div.code-tabs li.nav-tab {
     margin-top: 1.5rem;
-    padding: 10px 20px;
+    padding: 7px 18px;
     float: left;
     text-align: center;
     text-decoration: none;