ボタンの形_丸・凹型｜サイン_三角 こちらと同じ緑と赤の色分けボタン。2023年現在はすっかり貴重になりました。ランプの色味は上ボタンも同じ。年季の入った壁につい目が行くが、管理人は古い＝良くないとは決して思っていません。むしろ大切にしたい。
