wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 08:23:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Tweak topic container margins on desktop"

Browse source
This commit is contained in:
jenkins-bot 2022-09-22 15:32:34 +00:00 committed by Gerrit Code Review
parent 74305d71ed 516ea4a970
commit 43f95c18c3
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/dt.init.less
View file

@ -342,8 +342,8 @@ h1, h2, h3, h4, h5, h6 {
// Main feature (topic containers)
.ext-discussiontools-visualenhancements-enabled {
.ext-discussiontools-init-section {
margin: 1em 0 0 0;
padding: 0.5em 0;
margin: 36px 0 12px 0;
padding: 10px 0 0 0;
font-weight: bold;
// stylelint-disable-next-line declaration-no-important
font-family: sans-serif !important;
@ -363,7 +363,6 @@ h1, h2, h3, h4, h5, h6 {
&-bar {
// stylelint-disable-next-line declaration-property-unit-disallowed-list
font-size: 14px;
margin-top: 5px;
display: flex;
// Use interface language direction (auto-flipped for RTL)
direction: ltr;
@ -439,7 +438,6 @@ h1, h2, h3, h4, h5, h6 {
}
&-bar {
margin-top: 0;
width: 100%;
flex-wrap: wrap;
}