theme: remove unused CSS stuff #35

This commit is contained in:
Sören Weber 2021-08-27 22:17:19 +02:00
parent 0c6576bc24
commit 4874c19bcc
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589

View file

@ -662,28 +662,9 @@ hr {
#body a.anchor-link:hover { #body a.anchor-link:hover {
color: #9c6fb6; 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 { #body-inner pre {
white-space: pre-wrap; white-space: pre-wrap;
} }
.tabs-wrapper pre {
margin: 1rem 0;
border: 0;
padding: 0;
background: inherit;
}
table { table {
border: 1px solid #eaeaea; border: 1px solid #eaeaea;
margin-bottom: 1rem; margin-bottom: 1rem;