From 3f512c927bdee5e601a49ecd60e5fb78edfd7794 Mon Sep 17 00:00:00 2001
From: XhmikosR <xhmikosr@gmail.com>
Date: Tue, 28 Oct 2014 23:50:22 +0200
Subject: Add AnchorJS for docs anchors.

---
 docs/_includes/header.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'docs/_includes/header.html')

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index bf536fc4d..06c4ab02f 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -32,8 +32,9 @@
 {% if site.github %}
 <link href="../assets/css/docs.min.css" rel="stylesheet">
 {% else %}
-<link href="../assets/css/src/docs.css" rel="stylesheet">
 <link href="../assets/css/src/pygments-manni.css" rel="stylesheet">
+<link href="../assets/css/src/anchor.css" rel="stylesheet">
+<link href="../assets/css/src/docs.css" rel="stylesheet">
 {% endif %}
 <!--[if lt IE 9]><script src="../assets/js/ie8-responsive-file-warning.js"></script><![endif]-->
 <script src="../assets/js/ie-emulation-modes-warning.js"></script>
-- 
cgit v1.2.3