<!--
//Fussnotenscript von KerLeone (http://mosaikum.org)
function zeigen(FnTag) {
         if (FnTag.childNodes[1].style.display=="inline") {
                  FnTag.childNodes[1].style.display="none";
                  FnTag.style.verticalAlign="top";
                  FnTag.style.fontSize="smaller";
                  }
         else {
               FnTag.childNodes[1].style.display="inline";
                  FnTag.style.verticalAlign="text-bottom";
                  FnTag.style.fontSize="10pt";
               }
         }

function wechseln() {
   var i = 0;
   var fnzahl=1;
   while (document.getElementsByTagName("span")[i] != null) {
     if (document.getElementsByTagName("span")[i].className
                                                   == "fn") {
        document.getElementsByTagName("span")[i].firstChild.data
                                               = "("+fnzahl+")";
        fnzahl++;
     }
   i++;
   }
}

function checksize(){
    // Keeps your table-based HTML to a maximum width - donations to bender@dji.de
    // integration like <BODY onLoad="checksize();" onResize="checksize();">
    // var mymaxwidth=1024;
    // this var mymaxwidth may also be placed outside this function
    // old Mozilla-family uses outerWidth and IE+new Mazilla clientWidth
    // Relation between both: clientWidth=outerWidth+30
    var mozmaxwidth=mymaxwidth+30;
    var setlayername=document.getElementById('basecell');
    // basecell should be a TD like <TD ID="basecell" WITDH="100%">
    if (setlayername) {
var orgsize=setlayername.width;
        if (document.body.clientWidth){ // IE
           var fensterbreite='clientWidth='+document.body.clientWidth;
           if (document.body.clientWidth<=mymaxwidth) setlayername.width='100%';
           else {
           //var newsize=Math.ceil(102500/document.body.clientWidth)+'%';
           var newsize=mymaxwidth*100/document.body.clientWidth+'%'; // IE is most gradually
           setlayername.width=newsize;
           }
        }
        else if (window.innerWidth) { // Mozilla
           var fensterbreite='outerWidth='+window.innerWidth;
           if (window.innerWidth<=mozmaxwidth) setlayername.width='100%';
           else {
           //var newsize=Math.ceil(105400/window.innerWidth)+'%';
           var newsize=mozmaxwidth*100/window.innerWidth+'%'; // this is more gradually
           setlayername.width=newsize;
           }
        }
    }
    setlayername=document.getElementById('STATUSINFO');
    // STATUSINFO should be something like <DIV ID="STATUSINFO"></DIV> somewhere in Your HTML-file
    if (setlayername) setlayername.innerHTML='Fensterbreite='+fensterbreite+' orgsize='+orgsize+' newsize='+newsize;
}

//-->

