VGAからHDMIにケーブルを換えてみてもピンク色のままで、画面の輝度を一旦最大にして戻してみたらちょっとマシになった。どういうことだ。