<%inherit file="base.html"/> <%namespace name="tocns" file="toc.html"/> ${tocns.toc(toc=toc, extension=extension)}