if (document.all){
 with (window.document.body.style){
 borderWidth=2; // Verander border dikte hier!
 borderStyle='solid';
 borderColor='#FF0000'; // Verander de kleur hier!
 }
}