Merge pull request #157 from StarCitizenTools/dev

Follow up of the last PR
This commit is contained in:
alistair3149 2020-06-30 17:05:50 -04:00 committed by GitHub
commit 00dd11a710
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 16 additions and 1 deletions

View file

@ -80,7 +80,8 @@ input,
pre, pre,
code, code,
fieldset, fieldset,
select { select,
textarea {
border: 1px solid @base-80; border: 1px solid @base-80;
} }

View file

@ -13,6 +13,20 @@
display: none !important; display: none !important;
} }
// Mimic siteSub
.mw-rcfilters-enabled,
.mw-rcfilters-disabled {
.mw-specialpage-summary {
margin: 0.4rem 0 1.6rem;
color: @base-30;
font-size: @content-caption-size;
p {
margin: 0;
}
}
}
.rcoptions { .rcoptions {
margin: @content-margin-top * 2 0; margin: @content-margin-top * 2 0;
padding: 0; padding: 0;