From dec2faec3d1ebdf0f72d5814e570ebc453346cde Mon Sep 17 00:00:00 2001
From: Bryan Braun <bbraun7@gmail.com>
Date: Fri, 15 May 2015 00:37:07 -0400
Subject: Update Anchor.js and port over the existing styles.

Anchor.js 1.0.0 drops the need to use anchor.css, so we remove it
from the codebase and move any leftover styles over to docs.css.

Closes #16488 by merging it.
---
 docs/_includes/header.html | 1 -
 1 file changed, 1 deletion(-)

(limited to 'docs/_includes')

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 06c4ab02f..176f45fc0 100644
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -33,7 +33,6 @@
 <link href="../assets/css/docs.min.css" rel="stylesheet">
 {% else %}
 <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]-->
-- 
cgit v1.2.3