layouts/partials/docs/brand.html


1
2
3
4
5
6
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>