From dbc5c066c2219a0ef8a0c2197b5f163b06cf57c2 Mon Sep 17 00:00:00 2001
From: Dougal Matthews
Date: Wed, 10 Dec 2014 11:33:30 +0000
Subject: 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 25bd33ef..b3066eb3 100644
--- a/docs_theme/base.html
+++ b/docs_theme/base.html
@@ -169,6 +169,7 @@
   
   
   
+