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.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" />
17 {% include favicons.html %}
19 <!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
20 <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
22 <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
23 <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
25 <title>{{ site.title }}{% if page.title %}: {{ page.title }}{% endif %}</title>
28 <div class="container">
29 {% include navbar.html %}
31 {% if site.kind == "workshop" %}
32 {% include workshop_footer.html %}
34 {% include lesson_footer.html %}
37 {% include javascript.html %}