13miniってちょい老眼出てきた俺には不向きだった
文字サイズを調整しようとしてもアプリ間でバラツキがあって大きかったり小さかったりでチグハグ
結局12に変えて文字はほぼデフォルトサイズで丁度いい
軽さはminiがいいんだけどね