repository.css This CSS should be have cut in many pieces. By now most of it is tools and should be migrated to the theme. At the end, maybe a litlle bit of this css wil stay.
Repository console has a special hint