7 <meta http-equiv="X-UA-Compatible" content="IE=edge">
8 <meta http-equiv="last-modified" content="{{ site.time }}">
9 <meta name="viewport" content="width=device-width, initial-scale=1">
10 <!-- meta "search-domain" used for google site search function google_search() -->
11 <meta name="search-domain" value="{{ site.github.html_url }}">
12 <link rel="stylesheet" type="text/css" href="{{ page.root }}/assets/css/bootstrap.css" />
13 <link rel="stylesheet" type="text/css" href="{{ page.root }}/assets/css/bootstrap-theme.css" />
14 <link rel="stylesheet" type="text/css" href="{{ page.root }}/assets/css/lesson.css" />
15 <link rel="stylesheet" type="text/css" href="{{ page.root }}/assets/css/syntax.css" />
16 {% if site.carpentry == "swc" %}
17 <link rel="shortcut icon" type="image/x-icon" href="/favicon-swc.ico" />
18 {% elsif site.carpentry == "dc" %}
19 <link rel="shortcut icon" type="image/x-icon" href="/favicon-dc.ico" />
20 {% elsif site.carpentry == "lc" %}
21 <link rel="shortcut icon" type="image/x-icon" href="/favicon-lc.ico" />
23 <!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
24 <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
26 <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
27 <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
29 <title>{{ site.title }}{% if page.title %}: {{ page.title }}{% endif %}</title>
32 <div class="container">
33 {% include navbar.html %}
35 {% if site.kind == "workshop" %}
36 {% include workshop_footer.html %}
38 {% include lesson_footer.html %}
41 {% include javascript.html %}