diff --git a/docs/_includes/disqus_comments.html b/docs/_includes/disqus_comments.html new file mode 100644 index 000000000..d9400f2de --- /dev/null +++ b/docs/_includes/disqus_comments.html @@ -0,0 +1,20 @@ +{%- if page.comments != false and jekyll.environment == "production" -%} + +
+ + +{%- endif -%} diff --git a/docs/_includes/favicon.png b/docs/_includes/favicon.png new file mode 100644 index 000000000..1968482f4 Binary files /dev/null and b/docs/_includes/favicon.png differ diff --git a/docs/_includes/favicons.html b/docs/_includes/favicons.html new file mode 100644 index 000000000..222413d7f --- /dev/null +++ b/docs/_includes/favicons.html @@ -0,0 +1 @@ + diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html new file mode 100644 index 000000000..db72885e9 --- /dev/null +++ b/docs/_includes/footer.html @@ -0,0 +1,35 @@ + diff --git a/docs/_includes/google-analytics.html b/docs/_includes/google-analytics.html new file mode 100644 index 000000000..e9afb2093 --- /dev/null +++ b/docs/_includes/google-analytics.html @@ -0,0 +1,12 @@ + + diff --git a/docs/_includes/head.html b/docs/_includes/head.html new file mode 100644 index 000000000..c80b72a0a --- /dev/null +++ b/docs/_includes/head.html @@ -0,0 +1,12 @@ + + + + + {%- seo -%} + + + {%- feed_meta -%} + {%- if jekyll.environment == 'production' and site.google_analytics -%} + {%- include google-analytics.html -%} + {%- endif -%} + diff --git a/docs/_includes/header.html b/docs/_includes/header.html new file mode 100644 index 000000000..658531d86 --- /dev/null +++ b/docs/_includes/header.html @@ -0,0 +1,30 @@ +