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/assets/css/src/docs.css | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'docs/assets/css/src/docs.css')

diff --git a/docs/assets/css/src/docs.css b/docs/assets/css/src/docs.css
index 934ff59f1..5d185d2bf 100644
--- a/docs/assets/css/src/docs.css
+++ b/docs/assets/css/src/docs.css
@@ -1578,3 +1578,12 @@ h1[id] {
   -webkit-box-shadow: 0 0 8px rgba(82,168,236,.6);
           box-shadow: 0 0 8px rgba(82,168,236,.6);
 }
+
+/* AnchorJS overrides */
+.anchorjs-link:link,
+.anchorjs-link:visited,
+.anchorjs-link:hover,
+.anchorjs-link:active {
+  color: #563d7c;
+  text-decoration: none;
+}
-- 
cgit v1.2.3