From 21d6363c406bd0301b52711a30f98e1f03d0afaa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20D=C3=A9trez?= <gregoire@fripost.org>
Date: Fri, 5 Jul 2019 15:25:29 +0200
Subject: doc/template.html: Add parent links at the top.

---
 doc/template.html | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

(limited to 'doc/template.html')

diff --git a/doc/template.html b/doc/template.html
index e17f0e3..ceb2576 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -19,6 +19,12 @@ $endif$
       span.smallcaps{font-variant: small-caps;}
       span.underline{text-decoration: underline;}
       div.column{display: inline-block; vertical-align: top; width: 50%;}
+      @media only screen and (min-width: 600px) {
+        .parent {
+          float: right;
+          margin-left: 1em;
+        }
+      }
 $if(quotes)$
       q { quotes: "“" "”" "‘" "’"; }
 $endif$
@@ -48,14 +54,18 @@ $endfor$
 $for(include-before)$
 $include-before$
 $endfor$
-<div class="container text-justify">
+<div class="container">
   <div class="content">
 $if(title)$
-    <div class="page-header"><h1>$title$</h1></div>
+  <div class="page-header">
+$if(parent)$
+    <div class=parent><a href="$parent$"><span class="glyphicon glyphicon-circle-arrow-up" aria-hidden="true"></span> Parent</a></div>
+$endif$
+    <h1 style="">$title$</h1>
+  </div>
 $endif$
 
 $body$
-  </div>
 
   <footer>
     <hr/>
@@ -72,5 +82,6 @@ $endif$
     </div>
   </footer>
 </div>
+</div>
 </body>
 </html>
-- 
cgit v1.2.3