Credo che non sia solo codice CSS ma si tratti di un'estensione che non ha l'interfaccia web per poter essere personalizzata.
L'estensione o il codice non è pubblico.
Marko ti risponderà appena possibile, tieni presente che potrebbe impiegare più tempo rispetto alle mie risposte.
