Documentation: Generate local TOC on demand

All pages are generated with a local TOC, which is pointless on simple
pages such as the front page, or other pages containing little content.
Use the .. contents:: :local: directive instead to generate the local
TOC on demand, and remove the automatic local TOC generation. Only the
Docs page uses a local TOC.

Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>

Documentation/docs.rst

@@ -1,3 +1,6 @@
+.. contents::
+   :local:
+
 *************
 Documentation
 *************

Documentation/theme/layout.html

@@ -100,11 +100,6 @@
   </header>
 
   <div id="content">
-    <div class="local-toc">
-      <div class="toc-title">Contents</div>
-      {{ toc }}
-    </div>
-
     {# PAGE CONTENT #}
     <div class="block">
       {% block body %}{% endblock %}

Documentation/theme/static/css/theme.css

@@ -24,6 +24,10 @@ a.headerlink {
 	visibility: hidden;
 }
 
+a.toc-backref {
+	text-decoration: none;
+}
+
 h1:hover a.headerlink,
 h2:hover a.headerlink,
 h3:hover a.headerlink,
@@ -206,37 +210,47 @@ div#content {
 div#content > div.block {
 	font-size: 16px;
 	margin-right: 0px;
-	margin-left: 20px;
-	max-width: 800px;
-	padding: 20px 60px 0px 60px;
+	margin-left: 0px;
+	max-width: 1280px;
+	padding: 0px 60px 0px 60px;
 	text-align: justify;
-	width: 70%;
 }
 
 div#content > div.block h1 {
 	color: black;
 	font-size: 40px;
+	margin-top: 0px;
 	text-align: left;
 }
 
-div.local-toc {
+div#content > div.block > div.section {
+	max-width: 800px;
+}
+
+div.local.topic {
 	float: right;
 	background-color: #fcfcff;
 	border: 1px dotted #4896e0;
-	margin-right: 100px;
+	margin-left: 20px;
+	margin-right: 0px;
+	max-width: 15em;
 	padding: 10px 20px 10px 10px;
+	text-align: left;
 }
 
-div.toc-title {
-	font-weight: bold;
-}
-
-div.local-toc ul {
+div.local.topic ul {
 	padding-left: 20px;
 	margin-bottom: 5px;
 }
 
-div.local-toc a {
+div.local.topic > ul:before {
+	content: "Contents";
+	display: block;
+	font-weight: bold;
+	margin-bottom: 10px;
+}
+
+div.local.topic a {
 	font-weight: normal;
 	padding-left: 10px;
 	text-decoration: none;