Merge pull request #272 from wikimedia/fix-no-search-results

Improve how "no search results" is handled
This commit is contained in:
Santhosh Thottingal
2017-09-11 11:32:46 +05:30
committed by GitHub
3 changed files with 8 additions and 12 deletions

View File

@@ -103,13 +103,6 @@
vertical-align: middle;
}
/* TODO: ugly hack that forces last matching search results to shift down.
* They should be hidden properly.
*/
.uls-no-results-view {
height: 100%;
}
.uls-no-results-found-title {
font-size: 16px;
padding: 0 16px 0 28px;