Merge branch 'master' of https://github.com/javapathfinder/jpf-core
[jpf-core.git] / docs / _includes / head.html
1 <head>
2   <link href="http://gmpg.org/xfn/11" rel="profile">
3   <meta http-equiv="X-UA-Compatible" content="IE=edge">
4   <meta http-equiv="content-type" content="text/html; charset=utf-8">
5
6   <!-- Enable responsiveness on mobile devices-->
7   <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1">
8
9   <title>
10     {% if page.title == "Home" %}
11       {{ site.title }} &middot; {{ site.tagline }}
12     {% else %}
13       {{ page.title }} &middot; {{ site.title }}
14     {% endif %}
15   </title>
16
17   <!-- CSS -->
18   <link rel="stylesheet" href="{{ site.baseurl }}/public/css/poole.css">
19   <link rel="stylesheet" href="{{ site.baseurl }}/public/css/syntax.css">
20   <link rel="stylesheet" href="{{ site.baseurl }}/public/css/lanyon.css">
21   <link rel="stylesheet" href="https://fonts.googleapis.com/css?family=PT+Serif:400,400italic,700%7CPT+Sans:400">
22
23   <!-- Icons -->
24   <link rel="apple-touch-icon-precomposed" sizes="144x144" href="{{ site.baseurl }}/public/apple-touch-icon-precomposed.png">
25   <link rel="shortcut icon" href="{{ site.baseurl }}/public/favicon.ico">
26
27   <!-- RSS -->
28   <link rel="alternate" type="application/rss+xml" title="RSS" href="/atom.xml">
29 </head>