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 | |
| parent | 3811a6846c0174c1c91730844ce8ef98627508cc (diff) | |
doc/template.html: Add parent links at the top.
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | doc/template.html | 17 |
2 files changed, 16 insertions, 3 deletions
@@ -46,8 +46,10 @@ html: $(HTML_FILES) $(HTML_ROOTDIR)/%.html: ./doc/%.md $(HTML_TEMPLATE) mtime="$$(git --no-pager log -1 --pretty="format:%ct" -- "$<" 2>/dev/null)"; \ [ -n "$$mtime" ] || mtime="$$(date +%s -r "$<")"; \ + [ "$<" = "doc/index.md" ] && parent="" || parent="./index.html"; \ pandoc -sp -f markdown -t html+smart --css=$(CSS) --template=$(HTML_TEMPLATE) \ --variable=date:"$$(LC_TIME=C date +"Last modified on %a, %d %b %Y at %T %z" -d @"$$mtime")" \ + --variable=parent:"$$parent" \ --output="$@" -- "$<" doc: manual 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> |