css style_prive_plugin_tickets, l'ensemble des règles est inutile en SPIP4

En s'appuyant sur ce qui existe déjà par defaut en CSS dans la partie privé de SPIP on peut désormais supprimer la totalité du contenu de style_prive_plugin_tickets ce qui améliore le rendu.

Liste des vérifications de https://git.spip.net/spip-contrib-extensions/tickets/-/blob/master/prive/style_prive_plugin_tickets.html

• l'ensemble des #HTTP_HEADER est devenue inutile
• le set des couleurs vient de SPIP
• .formulaire_spip .editer_forum_ticket etc n'est plus utile, les forums disposent de leur CSS
• liste-objets n'existe pas dans le répertoire et au pire le white-space:nowrap des ids à normalement été introduits
• Le bloc conteneur des tickets affiche une barre disgracieuse sur le côté droit .tickets #conteneur { width:90%;overflow:auto; }

Amha, il est inutile de conserver ce fichier, mais on peut le garder vide sinon?