何かRTされてたけど画面のドット密度が高いノートPCで割と良くある文字小さ過ぎ現象。画面全体を125%に拡大したらサイズはちょうど良くなったけどフォントが太字に見えるのが何か嫌だな……。