From 16be46034257ee15367710b92474c7a2bd666e58 Mon Sep 17 00:00:00 2001
From: Bartosz Kaszubowski <gosimek@gmail.com>
Date: Fri, 7 Feb 2020 23:08:12 +0100
Subject: [PATCH] use same color for tabs border as TOC border

and a small `tabs.css` file cleanup
---
 website/static/css/tabs.css | 19 +++----------------
 1 file changed, 3 insertions(+), 16 deletions(-)

diff --git a/website/static/css/tabs.css b/website/static/css/tabs.css
index 3d091777cdf..116ec30e044 100644
--- a/website/static/css/tabs.css
+++ b/website/static/css/tabs.css
@@ -5,9 +5,9 @@
   display: inline-block;
   top: 1px;
   padding: 10px;
-  margin: 0px 2px 0px 2px;
+  margin: 0 2px;
   border-bottom-color: transparent;
-  border-radius: 3px 3px 0px 0px;
+  border-radius: 3px 3px 0 0;
   font-size: 0.99em;
 }
 
@@ -59,23 +59,10 @@
   list-style-type: none;
   padding: 0;
   margin: 0;
-  border-bottom: 1px solid $subtle;
+  border-bottom: 1px solid $divider;
   cursor: default;
 }
 
-@media screen and (max-width: 960px) {
-  .toggler li,
-  .toggler li:first-child,
-  .toggler li:last-child {
-    border-bottom-color: $subtle;
-    border-radius: 3px;
-    margin: 2px 0px 2px 0px;
-  }
-  .toggler ul {
-    border-bottom: 0;
-  }
-}
-
 .toggler button {
   display: inline-block;
   padding: 10px 5px;