<% if (fileName.startsWith('/docs/')) { %> Docs <% } else { %> <% } %>
menu <% if (fileName.startsWith('/docs/')) { %> Home <% } else { %> Docs <% } %> Community Trace Viewer GitHub