var index =
[
    [ "Section 1", "index.html#section1", null ],
    [ "Section 2", "index.html#section2", null ]
];