UI Version: 0.9.3
Description:

To reproduce this I log out and I log in again. The font is small for a few seconds and then fixes itself.
i don't know if a discussion is required. this is a bug and should be fixed.
We're currently using the discuss label to assign issues. Maybe we should discuss that.
ah. we don't need to use a label to assign issues.
Maybe we should discuss that.
oh god.

Hahahahaha!
waiting for confirmation from @NodeGuy this error still occurs
i think we should remove the animations. this is not even the right animation if it did work reliably.
It's now so fast that I don't notice it unless I look very carefully, in which case it looks like buggy jank. Let's remove the animation.

Summing up: The agreement is to remove the animation.
Most helpful comment
It's now so fast that I don't notice it unless I look very carefully, in which case it looks like buggy jank. Let's remove the animation.