Change title of localtoc menu from Page to Section

12 years ago · 185790e32a
parent 9d594d7494
commit 185790e32a
1 changed files with 1 additions and 1 deletions
--- a/docsite/_themes/bootstrap/localtoc.html
+++ b/docsite/_themes/bootstrap/localtoc.html
@ -1,5 +1,5 @@
 <li class="dropdown" data-dropdown="dropdown">
  <a href="#"
-     class="dropdown-toggle">{{ _('Page') }}</a>
+     class="dropdown-toggle">{{ _('Section') }}</a>
  <span class="localtoc">{{ toc }}</span>
 </li>