From 185790e32a50e1c9a434c79bc750f9f047cf396e Mon Sep 17 00:00:00 2001
From: Nigel Metheringham <nigel.metheringham@dev.intechnology.co.uk>
Date: Fri, 22 Feb 2013 21:18:43 +0000
Subject: [PATCH] Change title of localtoc menu from Page to Section

---
 docsite/_themes/bootstrap/localtoc.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docsite/_themes/bootstrap/localtoc.html b/docsite/_themes/bootstrap/localtoc.html
index 6f1bc8433f..d3014cf7fa 100644
--- 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>