diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-19 17:47:40 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-19 17:47:40 +0100 |
| commit | 79ac5829c25b966214b33e28198eaa279ffe7f15 (patch) | |
| tree | 31255348a0ff465a80dc4bb1dbb93ce9bf2d14a3 /layouts | |
| parent | 4817968ab6439ef3830059dfd6cae2149fca8a17 (diff) | |
| download | vericert-docs-79ac5829c25b966214b33e28198eaa279ffe7f15.tar.gz vericert-docs-79ac5829c25b966214b33e28198eaa279ffe7f15.zip | |
Update Vericert website
Diffstat (limited to 'layouts')
| -rw-r--r-- | layouts/_default/single.html | 10 | ||||
| -rw-r--r-- | layouts/blog/list.html | 22 | ||||
| -rw-r--r-- | layouts/blog/single.html | 15 | ||||
| -rw-r--r-- | layouts/partials/blog/post-meta.html | 13 | ||||
| -rw-r--r-- | layouts/partials/docs/brand.html | 1 | ||||
| -rw-r--r-- | layouts/partials/docs/inject/content-before.html | 1 | ||||
| -rw-r--r-- | layouts/partials/docs/post-meta.html | 13 |
7 files changed, 73 insertions, 2 deletions
diff --git a/layouts/_default/single.html b/layouts/_default/single.html new file mode 100644 index 0000000..d702d9e --- /dev/null +++ b/layouts/_default/single.html @@ -0,0 +1,10 @@ +{{ define "main" }} +<article class="markdown"> + <h1> + <a href="{{ .RelPermalink }}">{{ .Title }}</a> + </h1> + <p> + {{- .Content -}} + </p> +</article> +{{ end }} diff --git a/layouts/blog/list.html b/layouts/blog/list.html new file mode 100644 index 0000000..b379a7d --- /dev/null +++ b/layouts/blog/list.html @@ -0,0 +1,22 @@ +{{ define "main" }} + {{ range sort .Paginator.Pages }} + <article class="markdown book-post"> + <h2> + <a href="{{ .RelPermalink }}">{{ .Title }}</a> + </h2> + {{ partial "blog/post-meta" . }} + <p> + {{- .Summary -}} + {{ if .Truncated }} + <a href="{{ .RelPermalink }}">...</a> + {{ end }} + </p> + </article> + {{ end }} + + {{ template "_internal/pagination.html" . }} +{{ end }} + +{{ define "toc" }} + {{ partial "docs/taxonomy" . }} +{{ end }} diff --git a/layouts/blog/single.html b/layouts/blog/single.html new file mode 100644 index 0000000..9cc6b67 --- /dev/null +++ b/layouts/blog/single.html @@ -0,0 +1,15 @@ +{{ define "main" }} +<article class="markdown"> + <h1> + <a href="{{ .RelPermalink }}">{{ .Title }}</a> + </h1> + {{ partial "blog/post-meta" . }} + <p> + {{- .Content -}} + </p> +</article> +{{ end }} + +{{ define "toc" }} + {{ partial "docs/toc" . }} +{{ end }} diff --git a/layouts/partials/blog/post-meta.html b/layouts/partials/blog/post-meta.html new file mode 100644 index 0000000..df33247 --- /dev/null +++ b/layouts/partials/blog/post-meta.html @@ -0,0 +1,13 @@ +{{ with .Date}} + <h5 class="book-by-line">{{ partial "docs/date" (dict "Date" . "Format" $.Site.Params.BookDateFormat) }} +{{- end -}}, by {{ range .Params.author }}{{ . }}{{ end }}</h5> + +{{ range $taxonomy, $_ := .Site.Taxonomies }} + {{ with $terms := $.GetTerms $taxonomy }} + <span class="book-{{ $taxonomy }}-tag"> + {{- range $n, $term := $terms }}{{ if $n }}, {{ end -}} + <a href="{{ $term.RelPermalink }}">{{ $term.Title }}</a> + {{- end -}} + </span> + {{ end }} +{{ end }} diff --git a/layouts/partials/docs/brand.html b/layouts/partials/docs/brand.html index e4b38e1..425c407 100644 --- a/layouts/partials/docs/brand.html +++ b/layouts/partials/docs/brand.html @@ -1,7 +1,6 @@ <div class="book-brand"> <a href="{{ .Site.BaseURL | relLangURL }}"> <div id="book-logo"></div> - <span>{{ .Site.Title }}</span> </a> <p>A formally verified high-level synthesis tool written in Coq.</p> </div> diff --git a/layouts/partials/docs/inject/content-before.html b/layouts/partials/docs/inject/content-before.html deleted file mode 100644 index cf0ce84..0000000 --- a/layouts/partials/docs/inject/content-before.html +++ /dev/null @@ -1 +0,0 @@ -<h1>{{ .Title }}</h1> diff --git a/layouts/partials/docs/post-meta.html b/layouts/partials/docs/post-meta.html new file mode 100644 index 0000000..df33247 --- /dev/null +++ b/layouts/partials/docs/post-meta.html @@ -0,0 +1,13 @@ +{{ with .Date}} + <h5 class="book-by-line">{{ partial "docs/date" (dict "Date" . "Format" $.Site.Params.BookDateFormat) }} +{{- end -}}, by {{ range .Params.author }}{{ . }}{{ end }}</h5> + +{{ range $taxonomy, $_ := .Site.Taxonomies }} + {{ with $terms := $.GetTerms $taxonomy }} + <span class="book-{{ $taxonomy }}-tag"> + {{- range $n, $term := $terms }}{{ if $n }}, {{ end -}} + <a href="{{ $term.RelPermalink }}">{{ $term.Title }}</a> + {{- end -}} + </span> + {{ end }} +{{ end }} |