Move stylesheets to an include.

diff --git a/site/_includes/header.html b/site/_includes/header.html
index 11265478d2f585484d02fd39d213c254afd5e2b1..8f52ebfb8305bca725c8bb12e953b590d75938cd 100644 (file)
--- a/site/_includes/header.html
+++ b/site/_includes/header.html
@@ -12,18 +12,7 @@
   {%- endif -%}
 </title>
 
-<!-- Bootstrap core CSS -->
-{% if jekyll.environment == "production" %}
-<link href="{{ site.baseurl }}/docs/{{ site.docs_version }}/dist/css/bootstrap.min.css" rel="stylesheet" integrity="{{ site.cdn.css_hash }}" crossorigin="anonymous">
-{% else %}
-<link href="{{ site.baseurl }}/docs/{{ site.docs_version }}/dist/css/bootstrap.css" rel="stylesheet">
-{% endif %}
-
-<!-- Documentation extras -->
-{% if page.layout == "docs" %}
-<link href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" rel="stylesheet">
-{% endif %}
-<link href="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/css/docs.min.css" rel="stylesheet">
+{% include stylesheet.html %}
 
 {% include favicons.html %}
 

diff --git a/site/_includes/stylesheet.html b/site/_includes/stylesheet.html
new file mode 100644 (file)
index 0000000..ad04d86
--- /dev/null
+++ b/site/_includes/stylesheet.html
@@ -0,0 +1,12 @@
+<!-- Bootstrap core CSS -->
+{% if jekyll.environment == "production" %}
+<link href="{{ site.baseurl }}/docs/{{ site.docs_version }}/dist/css/bootstrap.min.css" rel="stylesheet" integrity="{{ site.cdn.css_hash }}" crossorigin="anonymous">
+{% else %}
+<link href="{{ site.baseurl }}/docs/{{ site.docs_version }}/dist/css/bootstrap.css" rel="stylesheet">
+{% endif %}
+
+<!-- Documentation extras -->
+{% if page.layout == "docs" %}
+<link href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" rel="stylesheet">
+{% endif %}
+<link href="{{ site.baseurl }}/docs/{{ site.docs_version }}/assets/css/docs.min.css" rel="stylesheet">