Slt ,
je ne suis pas non plus sous cinnamon

mais vu que tu essais le thème : tyr-jord qui sur le site et donner
pour
cinnamon 1.8 , alors que mint 18.2 est sous
cinnamon 3.4....
Bref , ce ne doit pas être la bonne version de gnome gtk

Essais celui ci pour test :
https://www.gnome-look.org/p/1193879/" onclick="window.open(this.href);return false;
sinon tu en trouves pleins ici :
https://www.gnome-look.org/browse/cat/135/ord/latest/" onclick="window.open(this.href);return false;
Pour le menu flottant , ben cela dépendra du thème sans doute , mais chose sûr , prend un " récent "
@+
ps : tu n'est pas obliger des les mettres dans /usr/share/themes
au moins pour les test , vas pas mettre "ribenbelle" de thème "inutile" , pour cela , ouvre , nemo (ton explorateur de fichiers) ctrl+h dedans pour afficher les dossiers cachés , et cherche le dossier :
.themes , s'il n'existe pas , tu le créer , oublies pas le
point devant themes :
.themes et tu les mets dedans (les thèmes )

De cette manière tu auras pas besoin d'être root (sudo) pour essayer des thèmes
