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.
This commit is contained in:
Bryan Braun 2015-05-15 00:37:07 -04:00 committed by XhmikosR
parent c111c291be
commit dec2faec3d
6 changed files with 211 additions and 100 deletions

View file

@ -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]-->