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

Define a variable to reuse a value

Browse source 
Change-Id: I2d9c62f5920bf82f564bd01a38a213e7a95b0205
This commit is contained in:
Ebrahim Byagowi 2024-10-06 12:34:27 +03:30
parent 3684f26994
commit bd4efc18ee
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ext.categoryTree.styles.less
View file

@ -84,9 +84,11 @@
.user-select( none ); .user-select( none );
} }
@arrow-size: 14px;
.expandable-arrow( @param-color ) { .expandable-arrow( @param-color ) {
.cdx-mixin-css-icon( .cdx-mixin-css-icon(
@cdx-icon-down-triangle, @param-color, 14px, @cdx-icon-down-triangle, @param-color, @arrow-size,
false, center, text-top false, center, text-top
); );
} }
@ -132,7 +134,7 @@
} }
.CategoryTreePageBullet { .CategoryTreePageBullet {
margin-left: 14px; width: @arrow-size;
} }
.CategoryTreeLabelPage { .CategoryTreeLabelPage {