var tocTab = new Array();var ir=0;

tocTab[ir++] = new Array ("Top", "Stephane's Web Site", "info/info.html#Top");

tocTab[ir++] = new Array ("0", "Info", "info/info.html#0");
tocTab[ir++] = new Array ("0.1", "News", "info/info.html#0.1");
tocTab[ir++] = new Array ("0.2", "Links", "info/info.html#0.2");
tocTab[ir++] = new Array ("0.3", "Site", "info/info.html#0.3");

tocTab[ir++] = new Array ("10", "Aide", "aide/aide.html#10");
tocTab[ir++] = new Array ("10.1", "Overview", "aide/aide.html#10.1");
tocTab[ir++] = new Array ("10.2", "Files", "aide/aide.html#10.2");
tocTab[ir++] = new Array ("10.3", "Download", "aide/aide.html#10.3");

tocTab[ir++] = new Array ("20", "Cristal", "cristal/cristal.html#20");
tocTab[ir++] = new Array ("20.1", "Overview", "cristal/cristal.html#20.1");
tocTab[ir++] = new Array ("20.2", "Working", "cristal/cristal.html#20.2");
tocTab[ir++] = new Array ("20.3", "Screenshots", "cristal/cristal.html#20.3");

tocTab[ir++] = new Array ("20.3.1", "Main screen", "cristal/cristal.html#20.3.1");
tocTab[ir++] = new Array ("20.3.2", "Message menu", "cristal/cristal.html#20.3.2");
tocTab[ir++] = new Array ("20.3.3", "Management menu", "cristal/cristal.html#20.3.3");
tocTab[ir++] = new Array ("20.3.4", "Priority choice", "cristal/cristal.html#20.3.4");
tocTab[ir++] = new Array ("20.3.5", "Authorization level", "cristal/cristal.html#20.3.5");
tocTab[ir++] = new Array ("20.3.6", "Attach files", "cristal/cristal.html#20.3.6");
tocTab[ir++] = new Array ("20.3.7", "Body text", "cristal/cristal.html#20.3.7");
tocTab[ir++] = new Array ("20.3.8", "Message deflate", "cristal/cristal.html#20.3.8");
tocTab[ir++] = new Array ("20.3.9", "Message spooler", "cristal/cristal.html#20.3.9");
tocTab[ir++] = new Array ("20.3.10", "Transmit report", "cristal/cristal.html#20.3.10");

tocTab[ir++] = new Array ("20.4", "Links", "cristal/cristal.html#20.4");

tocTab[ir++] = new Array ("30", "Orian", "orian/orian.html#30");
tocTab[ir++] = new Array ("30.1", "Overview", "orian/orian.html#30.1");
tocTab[ir++] = new Array ("30.2", "MRT510 Handy Talkie", "orian/orian.html#30.2");
tocTab[ir++] = new Array ("30.2.1", "Operation modes", "orian/orian.html#30.2.1");
tocTab[ir++] = new Array ("30.2.2", "Controls", "orian/orian.html#30.2.2");
tocTab[ir++] = new Array ("30.2.3", "Features", "orian/orian.html#30.2.3");
tocTab[ir++] = new Array ("30.2.4", "Settings", "orian/orian.html#30.2.4");

tocTab[ir++] = new Array ("30.3", "Downloads", "orian/orian.html#30.3");
tocTab[ir++] = new Array ("30.4", "Links", "orian/orian.html#30.4");

// tocTab[ir++] = new Array ("80", "Code tips", "code/code.html#80");
// tocTab[ir++] = new Array ("80.1", "Nrz/Nrzi coding", "code/code.html#80.1");
// tocTab[ir++] = new Array ("80.2", "Scrambling example", "code/code.html#80.2");
// tocTab[ir++] = new Array ("80.3", "Parity generator", "code/code.html#80.3");
// tocTab[ir++] = new Array ("80.4", "CRC4", "code/code.html#80.4");

tocTab[ir++] = new Array ("70", "Technical papers", "techpapers/techpapers.html#70");
tocTab[ir++] = new Array ("70.1", "DPE memory", "techpapers/techpapers.html#70.1");
tocTab[ir++] = new Array ("70.2", "Windows 2K", "techpapers/techpapers.html#70.2");
tocTab[ir++] = new Array ("70.3", "GtkAda+GCC+Win", "techpapers/techpapers.html#70.3");
tocTab[ir++] = new Array ("70.4", "Debian GNU/Linux", "techpapers/techpapers.html#70.4");

// tocTab[ir++] = new Array ("90", "Personal", "personal/personal.html#90");
// tocTab[ir++] = new Array ("90.1", "Résumé", "personal/personal.html#90.1");
// tocTab[ir++] = new Array ("90.2", "Some toys", "personal/personal.html#90.2");

var nCols = 0;
for (i=1; i<tocTab.length; i++) {
	nCols = Math.max(nCols,tocTab[i][0].split(".").length);
}