add my POPL20 papers
[web.git] / personal / _layouts / default.html
1 <!DOCTYPE html>
2 <html lang="en">
3
4   <head>
5     <meta charset="utf-8">
6     <meta name="viewport" content="width=device-width">
7
8     <title>{{ page.title }}</title>
9     {% if page.excerpt %}<meta name="description" content="{{ page.excerpt | newline_to_br | replace:'<br />',' ' | strip_html | strip_newlines | truncate: 192 }}">{% endif %}
10
11     <link rel="stylesheet" href="{{ site.baseurl }}/style.css">
12     <link rel="canonical" href="{{ site.url }}{{ site.baseurl }}{{ page.url }}">
13     {% if page.rss %}
14         <link rel="alternate" type="application/atom+xml" title="{{ site.blog.title }}" href="{{ site.baseurl }}/blog/feed.xml" />
15         {% if page.category %}<link rel="alternate" type="application/atom+xml" title="{{ page.title }}" href="{{ site.baseurl }}{{ page.url | replace: '.html','.xml' }}" />{% endif %}
16     {% endif %}
17   </head>
18
19   <body><div id="-frame">
20
21     <nav id="-navi">
22       {% assign menu = site.pages | menu: page.url %}
23       {% include menu-level.html menu=menu %}
24     </nav>
25   
26     <article id="-content">
27       {{ content }}
28     </article>
29
30     {% if site.mpi_sws_imprint %}
31       <div id="-footer"><small>
32         <a href="https://imprint.mpi-klsb.mpg.de/sws/people/jung">Imprint</a> |
33         <a href="https://data-protection.mpi-klsb.mpg.de/sws/people/jung">Data Protection</a>
34       </small></div>
35     {% endif %}
36   </div></body>
37
38 </html>