4,114
edits
MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 170: | Line 170: | ||
console.log("Filters shown."); | console.log("Filters shown."); | ||
$('.view-container-buttons').hide(); | $('.view-container-buttons').hide(); | ||
$('div.filtered-view.filtered-list').css('padding-top', '38px'); | |||
} else { | } else { | ||
filtersDiv.attr('style', 'display: none !important'); | filtersDiv.attr('style', 'display: none !important'); | ||
| Line 175: | Line 176: | ||
console.log("Filters hidden."); | console.log("Filters hidden."); | ||
$('.view-container-buttons').show(); | $('.view-container-buttons').show(); | ||
$('div.filtered-view.filtered-list').css('padding-top', '0'); | |||
} | } | ||
}); | }); | ||