diff --git a/xdoc/src/plugin-resources/site.jsl b/xdoc/src/plugin-resources/site.jsl index 4653a1bb..5be434bf 100644 --- a/xdoc/src/plugin-resources/site.jsl +++ b/xdoc/src/plugin-resources/site.jsl @@ -313,7 +313,7 @@ + $nav/body/menu[not(@type)] | $nav/body/search"/>