Back to home page

EIC code displayed by LXR

 
 

    


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     <!-- meta "search-domain" used for google site search function google_search() -->
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     <!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
0027     <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
0028     <!--[if lt IE 9]>
0029     <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
0030     <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
0031     <![endif]-->
0032 
0033   <title>
0034   {% if page.title %}{{ page.title }}{% endif %}{% if page.title and site.title %} &ndash; {% 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>