4,554
edits
MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 155: | Line 155: | ||
// Apply the new width and margin | // Apply the new width and margin | ||
list.width(originalListWidth | list.width(originalListWidth - adjustment).css('margin-right', wrapperWidth + 'px'); | ||
listList.width(originalListListWidth | listList.width(originalListListWidth - adjustment).css('margin-right', wrapperWidth + 'px'); | ||
// Adjust width of filtered-list-items in #list | // Adjust width of filtered-list-items in #list | ||