/*
* JavaScript funktion um für den IE die Bordercolor bei aktiven Formularelementen zu ändern
*
*/

function change_border(myid, string) {

var browser = navigator.appName;

    if (browser == "Microsoft Internet Explorer") {
        
        if (string == "focus") {
            document.getElementById(myid).style.borderColor = '#000080';
        }
        
        else {
            document.getElementById(myid).style.borderColor = '#dddddd';
        }
    }
}