[tor-commits] [metrics-web/master] Tweak tabs a bit.

[karsten at torproject.org]

commit ddef67454b747a9cc515b88646e169ea565f58a9
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Thu Dec 22 20:13:02 2016 +0100

    Tweak tabs a bit.
---
 website/web/css/style.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/website/web/css/style.css b/website/web/css/style.css
index 891ea53..49a0680 100644
--- a/website/web/css/style.css
+++ b/website/web/css/style.css
@@ -707,6 +707,12 @@ ul.nav-tabs {
     margin-top:2em;
     margin-bottom:1em;
 }
+ul.nav-tabs>li {
+    margin-top:10px;
+}
+.nav-tabs>li:not(.active)>a {
+    border-color: #eee #eee #ddd;
+}
 
 /* graphs */
 img.graph {