/*  07.01.2002 Sch
  Fuer die Dokumentation minimiert
*/

var StyleSheetDatei = "standard.css";

document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"../dokumentation.css\">");

/* 07.01.2002 Sch
  Dies Funktion GrafigAnpassen schreibt ein zusaetzliches gif unter jede Grafik,
  so dass wieder auf das 22-Pixel-Raster positioniert wird.
  Dazu muessen 22 Dateien mit dem Namen y1.gif bis y22.gif vorhanden sein.
*/
function GrafikAnpassen(Name) {
}

