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

Prepare Less styles for math=parens-division

Browse source 
Bug: T368921
Change-Id: I4c6db2d39883d31cf4216da0e3d79136287bf960
This commit is contained in:
Hannah Okwelum 2024-07-31 20:11:20 +01:00
parent 1339083307
commit 4403887e88
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.debug.less
View file

@ -34,12 +34,12 @@
} }
&-signature { &-signature {
margin-left: 1.25em / 0.9; margin-left: (1.25em / 0.9);
font-size: 90%; font-size: 90%;
color: #666; color: #666;
summary > & { summary > & {
margin-left: 0.25em / 0.9; margin-left: (0.25em / 0.9);
} }
} }