1. 概要 今まで（2021年9月27日）、「メニューの高さを、テーマでいじられないものかいな？」と思っていましたが、どうも「Manajro 21.1 Cinnamon」をさわっていて、メニューの高さは、メニューの設定でいじるような気がしてきました。 なので、本項に関しては、「メニュー」の項をご参照ください。
