wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 02:51:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Comment MonoBook fixes which are actually Apex fixes"

Browse source
This commit is contained in:
jenkins-bot 2024-02-13 16:45:56 +00:00 committed by Gerrit Code Review
parent 0abf8517cc c99e07881d
commit 6da23e4d00
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/dt.ui.ReplyWidget.less
View file

@ -68,6 +68,7 @@
margin: 1em 0; margin: 1em 0;
box-shadow: 0 2px 2px 0 rgba( 0, 0, 0, 0.25 ); box-shadow: 0 2px 2px 0 rgba( 0, 0, 0, 0.25 );
// OOUI Apex theme
.skin-monobook & { .skin-monobook & {
box-shadow: 0 0.2em 1em rgba( 0, 0, 0, 0.3 ); box-shadow: 0 0.2em 1em rgba( 0, 0, 0, 0.3 );
} }
@ -140,6 +141,7 @@
} }
.ext-discussiontools-ui-modeTab { .ext-discussiontools-ui-modeTab {
// OOUI Apex theme
.skin-monobook & { .skin-monobook & {
margin-top: 0; margin-top: 0;
} }