The height of the notification list is currently hardcoded at the window's height minus 140 pixels. This is fragile. Per comments in https://gerrit.wikimedia.org/r/#/c/161409/ , we should improve this to calculate the correct height without magic numbers.
Version: unspecified
Severity: normal