From 397c29a661673e4fb3f1a2861db4eeb46bf50750 Mon Sep 17 00:00:00 2001 From: John Mulhausen Date: Wed, 1 Mar 2017 15:57:37 -0800 Subject: [PATCH] Slightly slower right-nav highlighting, correct version --- _includes/global-header.html | 2 +- js/docs.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/_includes/global-header.html b/_includes/global-header.html index 9ad17d29d6..c6879c5d4d 100644 --- a/_includes/global-header.html +++ b/_includes/global-header.html @@ -89,7 +89,7 @@