theme: remove unused CSS stuff matcornic#35

patrick-othmer · Aug 27, 2021 · 4874c19 · 4874c19
1 parent 0c6576b
commit 4874c19
Showing 1 changed file with 1 addition and 20 deletions.
diff --git a/static/css/theme.css b/static/css/theme.css
@@ -662,28 +662,9 @@ hr {
 #body a.anchor-link:hover {
     color: #9c6fb6;
 }
-#body-inner .tabs-wrapper.ui-theme-badges {
-    background: #1d1f21;
-}
-#body-inner .tabs-wrapper.ui-theme-badges .tabs-nav li {
-    font-size: 0.9rem;
-    text-transform: uppercase;
-}
-#body-inner .tabs-wrapper.ui-theme-badges .tabs-nav li a {
-    background: #35393c;
-}
-#body-inner .tabs-wrapper.ui-theme-badges .tabs-nav li.current a {
-    background: #4d5257;
-}
 #body-inner pre {
     white-space: pre-wrap;
 }
-.tabs-wrapper pre {
-    margin: 1rem 0;
-    border: 0;
-    padding: 0;
-    background: inherit;
-}
 table {
     border: 1px solid #eaeaea;
     margin-bottom: 1rem;
@@ -694,7 +675,7 @@ th, thead td {
     background: #f7f7f7;
     -webkit-print-color-adjust: exact;
 	color-adjust: exact;
-   padding: 0.5rem;
+    padding: 0.5rem;
 }
 td {
     border: 1px solid #eaeaea;