diff options
Diffstat (limited to 'docs_theme/base.html')
| -rw-r--r-- | docs_theme/base.html | 1 |
1 files changed, 1 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() |