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

commit ddef67454b747a9cc515b88646e169ea565f58a9 Author: Karsten Loesing karsten.loesing@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 {