Mac miniとディスプレイの接続を、HDMI→DVIから、ネイティブHDMIに変えてみたんだけど、色が合わないわにじむわ……これはひどい。ディスプレイ側からもMac側からも設定のしようがない。ううむ……。