wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 17:51:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use green rather than yellow for newly posted messages"

Browse source
This commit is contained in:
jenkins-bot 2024-07-01 15:59:52 +00:00 committed by Gerrit Code Review
parent 76dad90e28 f81739f8b4
commit 1be8a4e281
1 changed files with 2 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
modules/dt.init.less
View file

@ -154,17 +154,8 @@ h1, h2, h3, h4, h5, h6 {
} }
.ext-discussiontools-init-publishedcomment { .ext-discussiontools-init-publishedcomment {
background-color: #ffe29e; // T368086
background-color: @background-color-success-subtle;
html.skin-theme-clientpref-night & {
background-color: @background-color-success-subtle;
}
@media ( prefers-color-scheme: dark ) {
html.skin-theme-clientpref-os & {
background-color: @background-color-success-subtle;
}
}
} }
.ext-discussiontools-init-targetcomment { .ext-discussiontools-init-targetcomment {