message: Fix search in chm-friendly RTD theme
diff: {% if not embedded %}
  + {% if sphinx_version >= "1.8.0" %}
  + <script type="text/javascript" id="documentation_options" data-url_root="{{ pathto('', 1) }}" src="{{ pathto('_static/documentation_options.js', 1) }}"></script>
  + {%- for scriptfile in script_files %}
  + {{ js_tag(scriptfile) }}
  + {%- endfor %}
  + {% else %}
  <script type="text/javascript">
  var DOCUMENTATION_OPTIONS = {
  URL_ROOT:'{{ url_root }}',
  {%- for scriptfile in script_files %}
  <script type="text/javascript" src="{{ pathto(scriptfile, 1) }}"></script>
  {%- endfor %}
  + {% endif %}
  {# RTD hosts this file, so just load on non RTD builds #}
  {% if not READTHEDOCS %}
  