J'utilise DE (Debian Edition) pour des raisons de philosophie de la distribution mais les astuces présentées ici doivent majoritairement être transposables pour l'édition basée sur Ubuntu.

Je trouvait particulièrement beau le dégradé de gris de la barre des taches de cinnamon et je souhaitai l'utiliser pour un site internet.

Il s’avère en fait que les thèmes du bureau sont défini par du css (comme une page internet). C'est beau non !

On peut donc trouver la configuration dans : usr/share/themes/votretheme/cinnamon/ Pour moi c'était : usr/share/themes/Linux Mint/cinnamon/cinnamon.css et pour info le dégradé est défini par :

#panel {
    color: #ffffff;
    background-gradient-start: rgba(70,70,70,0.9);
    background-gradient-end: rgba(50,50,50,0.9);
    background-gradient-direction: vertical;
    font-size: 9pt;
    font-weight: normal;
    height: 25px;
    box-shadow: 0px 0px 2px 2px rgba(0,0,0,0.5);
}