I thought this was a good refactoring. But then I noticed scrolling in the project tree was extra slow. I think we need a more explicit selector here and below like ``div.quiet-scrollbars``.