Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
809 commits behind the upstream repository.
head.html 1.41 KiB 
<head>
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
  <meta http-equiv="X-UA-Compatible" content="IE=edge">

  <title>{% if page.title %}{{ page.title | escape }}{% else %}{{ site.title | escape }}{% endif %}</title>
  <meta name="description" content="{% if page.excerpt %}{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}{% else %}{{ site.description }}{% endif %}">

  <link rel="canonical" href="{{ page.url | replace:'index.html','' | prepend: site.baseurl | prepend: site.url }}">
  <link rel="shortcut icon" href="{{ "/favicon.ico" | prepend: site.baseurl }}">

  {% include external-assets-css.html %}
  <link rel="stylesheet" href="{{ "/assets/blog.css" | prepend: site.baseurl }}">
  <link rel="stylesheet" href="{{ "/assets/syntax.css" | prepend: site.baseurl }}">
  {% if page.dataspy %}<link rel="stylesheet" href="{{ "/assets/fixed-sticky/fixedsticky.css" | prepend: site.baseurl }}">{% endif %}

  {% feed_meta %}

  <script>
    (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
    (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
    m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
    })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

    ga('create', 'UA-47856851-3', 'auto');
    ga('send', 'pageview');
  </script>
</head>