From 33666c459b412371b4eeba76a565c544e526ffb6 Mon Sep 17 00:00:00 2001 From: Dougal Matthews Date: Tue, 21 Apr 2015 08:07:02 +0100 Subject: [PATCH] Remove Google search and replace it with Mkdocs This change updates the modal to use MkDocs for search. --- docs_theme/base.html | 24 +++++++++--------------- docs_theme/css/default.css | 4 ++++ docs_theme/nav.html | 2 +- 3 files changed, 14 insertions(+), 16 deletions(-) diff --git a/docs_theme/base.html b/docs_theme/base.html index 497a311e5..b1beecba1 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -64,27 +64,19 @@
-