diff --git a/static/css/theme.css b/static/css/theme.css
index cfc761ed27..a594717631 100644
--- 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;