design: use same color for tabs divider as used for TOC border (faceb…

…ook#1611) and a small `tabs.css` file cleanup
2haein · Mar 5, 2020 · beff652 · beff652
1 parent 5fcd97d
commit beff652
Showing 1 changed file with 3 additions and 16 deletions.
diff --git 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;