Skip to content
Snippets Groups Projects
Select Git revision
  • 5b98deabb09a2e45f65ae6ae11637b1d1dc0ba5d
  • master default protected
2 results

intPqTree.ml

Blame
  • single.html 4.23 KiB
    ---
    layout: default
    ---
    
    {% assign author = site.data.authors.authors | where: "prefix", site.author | first %}
    
    {% if page.has_header %}
      {% include page__hero.html %}
    {% endif %}
    
    {% if page.url != "/" and site.breadcrumbs %}
      {% unless paginator %}
        {% include breadcrumbs.html %}
      {% endunless %}
    {% endif %}
    
    <div id="main" role="main">
    coucou
      {% include sidebar.html %}
    
      <article class="page" itemscope itemtype="https://schema.org/CreativeWork">
        {% if page.title %}<meta itemprop="headline" content="{{ page.title | markdownify | strip_html | strip_newlines | escape_once }}">{% endif %}
        {% if page.excerpt %}<meta itemprop="description" content="{{ page.excerpt | markdownify | strip_html | strip_newlines | escape_once }}">{% endif %}
        {% if page.date %}<meta itemprop="datePublished" content="{{ page.date | date: date_to_xmlschema }}">{% endif %}
        {% if page.last_modified_at %}<meta itemprop="dateModified" content="{{ page.last_modified_at | date: date_to_xmlschema }}">{% endif %}
    
        <div class="page__inner-wrap">
          {% unless page.header.type == 'overlay' or page.header.type == 'default' %}
            <header>
              {% if page.title %}<h1 id="page-title" class="page__title" itemprop="headline">{{ page.title | markdownify | remove: "<p>" | remove: "</p>" }}</h1>{% endif %}
              {% if page.read_time %}
                <p class="page__meta"><i class="far fa-clock" aria-hidden="true"></i> {% include read-time.html %}</p>
              {% endif %}
            </header>
          {% endunless %}
    
          <section class="page__content" itemprop="text">
            {% if page.toc %}
              <aside class="sidebar__right {% if page.toc_sticky %}sticky{% endif %}">
                <nav class="toc">
                  <header><h4 class="nav__title"><i class="fas fa-{{ page.toc_icon | default: 'file-alt' }}"></i> {{ page.toc_label | default: site.data.ui-text[site.locale].toc_label | default: "On this page" }}</h4></header>
                  {% include toc.html sanitize=true html=content h_min=1 h_max=6 class="toc__menu" %}
                </nav>
              </aside>
            {% endif %}
            {{ content }}
            {% if page.link %}<div><a href="{{ page.link }}" class="btn btn--primary">{{ site.data.ui-text[site.locale].ext_link_label | default: "Direct Link" }}</a></div>{% endif %}
          </section>
    
          <footer class="page__meta">
            {% if site.data.ui-text[site.locale].meta_label %}
              <h4 class="page__meta-title">{{ site.data.ui-text[site.locale].meta_label }}</h4>
            {% endif %}
            {% include page__taxonomy.html %}
            {% if page.last_modified_at %}
              <p class="page__date"><strong><i class="fas fa-fw fa-calendar-alt" aria-hidden="true"></i> {{ site.data.ui-text[site.locale].date_label | default: "Updated:" }}</strong> <time datetime="{{ page.last_modified_at | date: "%Y-%m-%d" }}">{{ page.last_modified_at | date: "%B %d, %Y" }}</time></p>
            {% endif %}
          </footer>
    
          {% if page.share %}{% include social-share.html %}{% endif %}
    
          {% include post_pagination.html %}
        </div>
    
        {% if jekyll.environment == 'production' and site.comments.provider and page.comments %}
          {% include comments.html %}
        {% endif %}
      </article>
    
      {% comment %}<!-- only show related on a post page when `related: true` -->{% endcomment %}