dviout for Windowsは、初期状態では画像がカラー表示されないことがある。以下のように設定をすればよい。 dvioutのメニュー「Option」→「Setup Parameters」をクリック。 「Graphic」タブを開く。 「GIF:」という項がある。インストール直後は「raw PBM」…