From a933f076f47bdb20725a6ad8884596884b3618a9 Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Mon, 5 Nov 2018 11:31:40 +0200
Subject: [PATCH] Move stylesheets to an include.

---
 site/_includes/header.html     | 13 +------------
 site/_includes/stylesheet.html | 12 ++++++++++++
 2 files changed, 13 insertions(+), 12 deletions(-)
 create mode 100644 site/_includes/stylesheet.html

diff --git a/site/_includes/header.html b/site/_includes/header.html
index 11265478d2..8f52ebfb83 100644
--- 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
index 0000000000..ad04d86782
--- /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">