From 41ee29119d17c33376d4ee574da6b4d7b102cc92 Mon Sep 17 00:00:00 2001
From: Xavier Morel <xmo@odoo.com>
Date: Tue, 7 Jul 2015 16:02:23 +0200
Subject: [PATCH] [REM] doc: unnecessary sidebar title/heading

---
 doc/_extensions/odoo/layout.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/_extensions/odoo/layout.html b/doc/_extensions/odoo/layout.html
index 699170d3e5c..0f9661ba6de 100644
--- a/doc/_extensions/odoo/layout.html
+++ b/doc/_extensions/odoo/layout.html
@@ -99,7 +99,6 @@
             <span class="logo"></span>
             Documentation
           </div>
-          <h3 class="muted">Contents</h3>
           {{ toc }}
           {% if github_link %}
           <p class="gith-container"><a href="{{ github_link(mode='edit') }}" class="gith-link">