diff options
| author | Grégoire Détrez <gregoire@fripost.org> | 2019-07-05 15:25:29 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 15:25:29 +0200 |
| commit | 21d6363c406bd0301b52711a30f98e1f03d0afaa (patch) | |
| tree | d2e714064f73aea8e521e3106e23f3738d8f9fd5 /doc | |
| parent | 3811a6846c0174c1c91730844ce8ef98627508cc (diff) | |
doc/template.html: Add parent links at the top.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/template.html | 17 |
1 files changed, 14 insertions, 3 deletions
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> |