---
---
-{% comment %}
-When rendering websites locally, `site.github.url` doesn't get resolved
-properly unless GitHub PAT are set up and available in the environment.
-This leads to warnings and errors when trying to serve the site locally.
-To work around this, we use the `jekyll.environment` variable which is set to
-`development` when rendering the site locally, and set to `production` on
-GitHub where `site.github.url` will be defined.
-{% endcomment %}
-
-{% if jekyll.environment == "development" %}
-{% assign search_domain_url = "" %}
-{% elsif jekyll.environment == "production" %}
-{% assign search_domain_url = site.github.url %}
-{% endif %}
-
{% include base_path.html %}
+{% include gh_variables.html %}
<!doctype html>
<html lang="en">
<link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/bootstrap-theme.css" />
<link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/lesson.css" />
<link rel="stylesheet" type="text/css" href="{{ relative_root_path }}/assets/css/syntax.css" />
+ <link rel="license" href="#license-info" />
{% include favicons.html %}
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<![endif]-->
- <title>{{ site.title }}{% if page.title %}: {{ page.title }}{% endif %}</title>
+
+ <title>
+ {% if page.title %}{{ page.title }}{% endif %}{% if page.title and site.title %} – {% endif %}{% if site.title %}{{ site.title }}{% endif %}
+ </title>
+
</head>
<body>