From dbc5c066c2219a0ef8a0c2197b5f163b06cf57c2 Mon Sep 17 00:00:00 2001 From: Dougal Matthews Date: Wed, 10 Dec 2014 11:33:30 +0000 Subject: [PATCH] Add a theme.js file to enable highlighing --- docs_theme/base.html | 1 + docs_theme/js/theme.js | 5 +++++ 2 files changed, 6 insertions(+) create mode 100644 docs_theme/js/theme.js diff --git a/docs_theme/base.html b/docs_theme/base.html index 25bd33ef0..b3066eb31 100644 --- a/docs_theme/base.html +++ b/docs_theme/base.html @@ -169,6 +169,7 @@ +