diff options
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/header.html | 3 |
1 files changed, 2 insertions, 1 deletions
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> |