MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

29 bytes removed , 24 January 2024

no edit summary

4,554

edits

@@ Line 155: / Line 155: @@
 		// Apply the new width and margin
-		list.width(originalListWidth - wrapperWidth + adjustment).css('margin-right', wrapperWidth + 'px');
+		list.width(originalListWidth + adjustment).css('margin-right', wrapperWidth + 'px');
-		listList.width(originalListListWidth - wrapperWidth + adjustment).css('margin-right', wrapperWidth + 'px');
+		listList.width(originalListListWidth + adjustment).css('margin-right', wrapperWidth + 'px');
          // Adjust width of filtered-list-items in #list