diff options
Diffstat (limited to 'docs_theme')
| -rw-r--r-- | docs_theme/base.html | 1 | ||||
| -rw-r--r-- | docs_theme/js/theme.js | 5 |
2 files changed, 6 insertions, 0 deletions
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_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'); + +}); |