diff options
author | Derek Jones <derek.jones@ellislab.com> | 2012-08-21 03:10:39 +0200 |
---|---|---|
committer | Derek Jones <derek.jones@ellislab.com> | 2012-08-21 03:10:39 +0200 |
commit | 329834e354d75ed239c83f410adacdd294ae2f64 (patch) | |
tree | d95e3c652d16c91861744eee85498352246cfed9 /user_guide_src/source/conf.py | |
parent | 87687e10c582b085afdc649ec810a2d2cf34e98b (diff) |
Switching to Sphinx's built in JavaScript search
- disabled rST source copying, the contextual results for the search don't render, so they look goofy
- added .highlighted class to CSS for highlighting search terms
- replaced Google search form with native search form (and separated into its own theme file)
- added body class to #content div for JS highlighter to hook onto
Diffstat (limited to 'user_guide_src/source/conf.py')
-rw-r--r-- | user_guide_src/source/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user_guide_src/source/conf.py b/user_guide_src/source/conf.py index e972a388b..f68405b36 100644 --- a/user_guide_src/source/conf.py +++ b/user_guide_src/source/conf.py @@ -167,6 +167,7 @@ html_last_updated_fmt = '%b %d, %Y' # Output file base name for HTML help builder. htmlhelp_basename = 'CodeIgniterdoc' +html_copy_source = False # -- Options for LaTeX output -------------------------------------------------- |