File indexing completed on 2024-11-15 10:02:49
0001 ---
0002 ---
0003 {% include base_path.html %}
0004 {% include gh_variables.html %}
0005
0006 <!doctype html>
0007 <html lang="en">
0008 <head>
0009 <meta charset="utf-8">
0010 <meta http-equiv="X-UA-Compatible" content="IE=edge">
0011 <meta http-equiv="last-modified" content="{{ site.time }}">
0012 <meta name="viewport" content="width=device-width, initial-scale=1">
0013
0014 <meta name="search-domain" value="{{ search_domain_url }}">
0015 <link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/bootstrap.css" />
0016 <link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/bootstrap-theme.css" />
0017 <link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/lesson.css" />
0018 <link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/syntax.css" />
0019 {% if page.math %}
0020 <link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/katex.min.css" />
0021 {% endif %}
0022 <link rel="license" href="#license-info" />
0023
0024 {% include favicons.html %}
0025
0026
0027
0028
0029
0030
0031
0032
0033 <title>
0034 {% if page.title %}{{ page.title }}{% endif %}{% if page.title and site.title %} – {% endif %}{% if site.title %}{{ site.title }}{% endif %}
0035 </title>
0036
0037 </head>
0038 <body>
0039
0040 {% include life_cycle.html %}
0041
0042 <div class="container">
0043 {% include navbar.html %}
0044 {{ content }}
0045 {% if site.kind == "workshop" %}
0046 {% include workshop_footer.html %}
0047 {% else %}
0048 {% include lesson_footer.html %}
0049 {% endif %}
0050 </div>
0051 {% include javascript.html %}
0052 </body>
0053 </html>