diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-04-02 13:55:57 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-02 13:55:57 +0100 |
| commit | f85153b7335ebf99ab6bf6e696b5a08fef38b61b (patch) | |
| tree | f7364014dddb664b01c754a024adae5980cba5ad /layouts | |
| parent | a596c0c469d7c61b5ed8dfaf8805a926024a3a72 (diff) | |
| download | vericert-docs-f85153b7335ebf99ab6bf6e696b5a08fef38b61b.tar.gz vericert-docs-f85153b7335ebf99ab6bf6e696b5a08fef38b61b.zip | |
Update logo and add favicon
Diffstat (limited to 'layouts')
| -rw-r--r-- | layouts/partials/docs/brand.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/layouts/partials/docs/brand.html b/layouts/partials/docs/brand.html new file mode 100644 index 0000000..e4b38e1 --- /dev/null +++ b/layouts/partials/docs/brand.html @@ -0,0 +1,7 @@ +<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> |