/* These are the parameters to define the appearance of the ToC. */
var
	tabWidth=150,				// Largeur en pixels du tableau de menu
	showAll=false,				// Afficher en permanence le menu totalement ouvert
	showLevel=1,				// Combien de niveaux de l'arborescence afficher en permanence, si showAll=false ?
	setImgSize=true,			// Faut-il fixer la largeur des icones de menu ?
	imgShow=false,				// Faut-il afficher les petits icones ?
	imgWidth=1,					// Largeur des icones du menu
	imgHeight=1,				// Hauteur des icones du menu
	tocSpacer=2,				// Marge d'espacement vertical (sous le titre s'il y est)
	tocScroll=true,				// Autoscrolling
	tocBehaviour = new Array(1,1), // Indicates how the ToC shall change when clicking in the heading symbol (1st arg.) resp. in the heading text (2nd arg). Arg's meaning: 0 = No change, 1 = ToC changes with automatic collapsing, 2 = ToC changes with no automatic collapsing.
	tocLinks = new Array(0,0),	// Indicates wether the content's location shall be changed when clicking in the heading symbol (1st arg.) resp. in the heading text (2nd arg). Arg's meaning: 1 = No, 0 = Yes. 
	isFramed=false,				// Le menu est en frame ?  (non = en layer)
	objMenu="menu",				// Nom de l'objet du menu (par exemple le nom d'une frame ou d'un layer)
	objContent="self",		// Nom de la frame du contenu ("self" pour une utilisation en pleine fenêtre)
	showTitle = false,			// Afficher le titre du menu
	showNumbers = false, 		// display the ordering strings: yes=true | no=false
	backColor = "",		// background color of the ToC 
	lastVisitColor = "#CCFF66",	// text color of the line last visited
	normalColor = "#CCFF66",	// text color of the ToC headlines
	currentColor = "#CCFF66",	// text color of the actual line just clicked on
	titleColor = "#CCFF66",		// text color of the title "Table of Contents"
	mLevel = 2,					// number of levels minus 1 the headlines of which are presentet with large and bold fonts   
	textSizes = new Array(1, 0.4, 0.2, 0.4, 0.2),			// font-size factors for: [0] the title "Table of Contents", [1] larger and bold fonts [2] smaller fonts if MS Internet Explorer [3] larger and bold fonts [4] smaller fonts if Netscape Navigator.
	fontTitle = "Verdana, Arial, Helvetica, sans-serif", // font-family of the title "Table of Contents"
	fontLines = "Verdana, Arial, Helvetica, sans-serif"; // font-family of the headlines  

var
	bodyHead='',
	bodyFoot='',
	dummy=true;