0839c5ea75
It was hard to know where the numbers were coming from; they depended on the padding of the link and the size of the notification icon size. So we're using variables to make it more explicit. However, the code is now too complex, so we'll probably have to simplify it in the future.