Merge pull request #2246 from d0ugal/mkdocs-theme

Syntax highlighting

14 files changed, 6 insertions, 0 deletions

diff --git a/docs/img/autocomplete.png b/docs/img/autocomplete.png
deleted file mode 100644
index 29075b25..00000000
--- a/docs/img/autocomplete.png
+++ /dev/null
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 @@
   <script src="{{ base_url }}/js/jquery-1.8.1-min.js"></script>
   <script src="{{ base_url }}/js/prettify-1.0.js"></script>
   <script src="{{ base_url }}/js/bootstrap-2.1.1-min.js"></script>
+  <script src="{{ base_url }}/js/theme.js"></script>
 
   <script>
     //$('.side-nav').scrollspy()
diff --git a/docs/css/bootstrap-responsive.css b/docs_theme/css/bootstrap-responsive.css
index a8caf451..a8caf451 100755
--- a/docs/css/bootstrap-responsive.css
+++ b/docs_theme/css/bootstrap-responsive.css
diff --git a/docs/css/bootstrap.css b/docs_theme/css/bootstrap.css
index 53df6859..53df6859 100755
--- a/docs/css/bootstrap.css
+++ b/docs_theme/css/bootstrap.css
diff --git a/docs/css/default.css b/docs_theme/css/default.css
index 8c9cd536..8c9cd536 100644
--- a/docs/css/default.css
+++ b/docs_theme/css/default.css
diff --git a/docs/css/prettify.css b/docs_theme/css/prettify.css
index d437aff6..d437aff6 100644
--- a/docs/css/prettify.css
+++ b/docs_theme/css/prettify.css
diff --git a/docs/img/favicon.ico b/docs_theme/img/favicon.ico
index 917892ad..917892ad 100644
--- a/docs/img/favicon.ico
+++ b/docs_theme/img/favicon.ico
diff --git a/docs/img/glyphicons-halflings-white.png b/docs_theme/img/glyphicons-halflings-white.png
index 3bf6484a..3bf6484a 100644
--- a/docs/img/glyphicons-halflings-white.png
+++ b/docs_theme/img/glyphicons-halflings-white.png
diff --git a/docs/img/glyphicons-halflings.png b/docs_theme/img/glyphicons-halflings.png
index a9969993..a9969993 100644
--- a/docs/img/glyphicons-halflings.png
+++ b/docs_theme/img/glyphicons-halflings.png
diff --git a/docs/img/grid.png b/docs_theme/img/grid.png
index 878c3ed5..878c3ed5 100644
--- a/docs/img/grid.png
+++ b/docs_theme/img/grid.png
diff --git a/docs/js/bootstrap-2.1.1-min.js b/docs_theme/js/bootstrap-2.1.1-min.js
index e0b220f4..e0b220f4 100755
--- a/docs/js/bootstrap-2.1.1-min.js
+++ b/docs_theme/js/bootstrap-2.1.1-min.js
diff --git a/docs/js/jquery-1.8.1-min.js b/docs_theme/js/jquery-1.8.1-min.js
index 3b8d15d0..3b8d15d0 100644
--- a/docs/js/jquery-1.8.1-min.js
+++ b/docs_theme/js/jquery-1.8.1-min.js
diff --git a/docs/js/prettify-1.0.js b/docs_theme/js/prettify-1.0.js
index eef5ad7e..eef5ad7e 100644
--- a/docs/js/prettify-1.0.js
+++ b/docs_theme/js/prettify-1.0.js
diff --git a/docs_theme/js/theme.js b/docs_theme/js/theme.js
new file mode 100644
index 00000000..73607be5
--- /dev/null
+++ b/docs_theme/js/theme.js
@@ -0,0 +1,5 @@
+$(function(){
+
+    $('pre code').parent().addClass('prettyprint well');
+
+});