Making search work for readthedocs theme.  It borrows client side code f...

...rom sphinx but has no dependency on that project.

Syntax highlighting doesn't work when you click through to a page, but that shouldn't be too hard to fix.

Sorry for doing this on master, I was in a rush at work.
Hmm. I know it was working.  But perhaps it's needed for other compatibility. I'm ooto currently, but I can look into it when I get back to the office.


On August 8, 2014 2:17:13 PM PDT, Dougal Matthews <notifications@github.com> wrote:
>> @@ -14,7 +14,7 @@
>>      <link href="{{ base_url }}/{{ path }}" rel="stylesheet">
>>    {% endfor %}
>>  
>> -  <script type="text/javascript" src="{{ base_url
>}}/js/theme.js"></script>
>> +  <script
>src="https://code.jquery.com/jquery-1.10.2.min.js"></script>
>
>I might be missing something here, but don't we still need the
>theme.js?
>
>---
>Reply to this email directly or view it on GitHub:
>https://github.com/tomchristie/mkdocs/pull/94/files#r16017032

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.