From 77ade3f2ac0e2917f0f377cfad235c1e2246f3dd Mon Sep 17 00:00:00 2001
From: Jakub Kaczmarzyk <jakubk@mit.edu>
Date: Wed, 14 Nov 2018 12:33:21 -0500
Subject: [PATCH] change http to https

---
 doc/_templates/navbar.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/_templates/navbar.html b/doc/_templates/navbar.html
index d0979f4e10..883bedc56b 100644
--- a/doc/_templates/navbar.html
+++ b/doc/_templates/navbar.html
@@ -1,4 +1,4 @@
-<link rel="stylesheet" href="http://www.google.com/cse/style/look/default.css" type="text/css" />
+<link rel="stylesheet" href="https://www.google.com/cse/style/look/default.css" type="text/css" />
 <style type="text/css">
     a.navbar {
     color: {{ theme_linkcolor }};