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

Merge "Fix some dark mode issues on mobile"

Browse source
This commit is contained in:
jenkins-bot 2024-09-17 01:38:21 +00:00 committed by Gerrit Code Review
parent bb418d6b60 53b77ea9ac
commit f5f94a9456
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/dt.init.less
View file

@ -507,7 +507,7 @@ h1, h2, h3, h4, h5, h6 {
// The tap-highlight is an odd shape and shows even for cancelled events on -actions,
// just hide it.
-webkit-tap-highlight-color: transparent;
border-top: @border-width-base @border-style-base #eaecf0;
border-top: @border-width-base @border-style-base @border-color-muted;
h2 {
width: auto;
@ -809,7 +809,7 @@ h1, h2, h3, h4, h5, h6 {
box-sizing: content-box;
color: @color-progressive;
background: @background-color-interactive-subtle;
border-top: @border-width-base @border-style-base #eaecf0;
border-top: @border-width-base @border-style-base @border-color-muted;
text-align: center;
// Match Minerva styles