Linux Mint Cinnamon の再インストール・アップグレード時の自分用のカスタマイズ手順としての記録です。
Step 1 最新のテーマ定義体をコピー
コピー元は /usr/share/themes/（テーマ名）
コピー先は ~/.themes
Step 2 CSS ファイルを編集
編集するファイルは ~/themes/（テーマ名）/cinnamon/cinnamon.css
編集 1
パネルのフォントを少し小さくし、背景をちょっぴり透明にする
.panel-top, .panel-bottom, .panel-left, .panel-right {
color: #ffffff;
border: none;
background-color: rgba(48, 49, 49, 0.50);
font-size: 0.9em;
padding: 0px; }
編集 2
メニューの背景もちょっぴり透明にする
.menu {
color: rgba(255, 255, 255, 0.87);
border: 1px solid #212222;
border-radius: 3px;
background-color: rgba(48, 49, 49, 0.85); }
Step 3 Cinnamon の再起動
Ctrl + Alt + Esc キーにて Cinnamon を再起動すれば反映されます。（または PC の再起動）