/* These are the parameters to define the appearance of the ToC. */
var
	normalColor = "rgb(0,0,0)",	// text color of the ToC headlines
	currentColor = "rgb(255,255,0)",	// text color of the actual line just clicked on
	titleColor = "#FFFFFF",		// text color of the title "Table of Contents"
	textSizes = new Array(1, 0.7, 0.8),	// font-size factors for: [0] the title "Table of Contents", [1] larger and bold fonts [2] larger and bold fonts.
	fontTitle = "Helvetica,Arial", // font-family of the title "Table of Contents"
	fontLines = "Helvetica,Arial"; // font-family of the headlines